Spectral techniques in VLSI CAD / by Mitchell Aaron Thornton, Rolf Drechsler, and D. Michael Miller.

Format:

Book

Author/Creator:

Thornton, Mitchell Aaron.

Contributor:

Drechsler, Rolf.

Miller, D. Michael.

Language:

English

Subjects (All):

Integrated circuits--Very large scale integration--Design and construction.

Integrated circuits.

Spectral sequences (Mathematics).

Computer-aided design.

Physical Description:

xiii, 250 pages : illustrations ; 25 cm

Place of Publication:

Boston : Kluwer Academic Publishers, [2001]

Contents:

1.1 Motivation 1

1.2 Background and History 2

1.3 Mathematical Requirements 4

1.4 Organization 5

2 The Boolean Domain 7

2.1 Boolean Functions 7

2.2 Pseudo-Boolean Functions 10

2.3 Output Probability 11

3 The Spectral Domain 19

3.1 Spectra of Logic Functions 19

3.2 Spectral Transforms 21

3.3 Transform Procedures 31

3.4 Relationships Between the Transforms 41

3.5 Spectral Properties 46

4 Decision Diagrams 51

4.2 Decision Diagram Varieties 52

4.3 Bit-level Decompositions 54

4.4 Word-level Decompositions 57

4.5 Edge-valued Decision Diagrams 63

5 Computation of Spectral Coefficients 83

5.1 Cube List Approaches 83

5.2 Methods Based on BDD Paths and Disjoint Cubes 90

5.3 Spectral Computation Using Decision Diagrams 91

5.4 Computation Based on Cayley Graphs 109

5.5 Spectra of Incompletely-specified Functions 114

6 BDD Minimization 117

6.1 BDD Variable Ordering Techniques 118

6.2 Probability Based Minimization 120

6.3 Linear Transformations 129

7 Logic Synthesis 157

7.1 Spectral Translation 157

7.2 Maximum Correlation Iterative Approach 159

7.3 Synthesis Using Spectral Heuristics 176

7.4 Technology Mapping 190

8 Logic Verification 201

8.1 Classical Approaches 201

8.2 Signature Methods 202

8.3 Subsets of Haar Coefficients for Equivalence Checking 204.

Notes:

Includes bibliographical references (pages 233-246) and index.

ISBN:

0792374339

OCLC:

47136597