3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying Encoding Constraints . . . . . . . 32 3. 3. 1 Definitions . . . . . . . . . . . . . . . 32 3. 3. 2 Column-Based Constraint Satisfaction 33 3. 3. 3 Row-Based Constraint Satisfaction . . 37 3. 3. 4 Constraint Satisfaction Using Dichotomies . 38 3. 3. 5 Simulated Annealing for Constraint Satisfaction 41 3. 4 Input Encoding Targeting ...
Read More
3. 2 Input Encoding Targeting Two-Level Logic . . . . . . . . 27 3. 2. 1 One-Hot Coding and Multiple-Valued Minimization 28 3. 2. 2 Input Constraints and Face Embedding 30 3. 3 Satisfying Encoding Constraints . . . . . . . 32 3. 3. 1 Definitions . . . . . . . . . . . . . . . 32 3. 3. 2 Column-Based Constraint Satisfaction 33 3. 3. 3 Row-Based Constraint Satisfaction . . 37 3. 3. 4 Constraint Satisfaction Using Dichotomies . 38 3. 3. 5 Simulated Annealing for Constraint Satisfaction 41 3. 4 Input Encoding Targeting Multilevel Logic. . 43 3. 4. 1 Kernels and Kernel Intersections . . . 44 3. 4. 2 Kernels and Multiple-Valued Variables 46 3. 4. 3 Multiple-Valued Factorization. . . . . 48 3. 4. 4 Size Estimation in Algebraic Decomposition . 53 3. 4. 5 The Encoding Step . 54 3. 5 Conclusion . . . . . . . . . 55 4 Encoding of Symbolic Outputs 57 4. 1 Heuristic Output Encoding Targeting Two-Level Logic. 59 4. 1. 1 Dominance Relations. . . . . . . . . . . . . . . . 59 4. 1. 2 Output Encoding bythe Derivation of Dominance Relations . . . . . . . . . . . . . . . . . . . . . 60 . . 4. 1. 3 Heuristics to Minimize the Number of Encoding Bits . . . . . . . . . . . . 64 4. 1. 4 Disjunctive Relationships . . . . . . . . . . . 65 4. 1. 5 Summary . . . . . . . . . . . . . . . . . . 66 . . 4. 2 Exact Output Encoding Targeting Two-Level Logic. 66 4. 2. 1 Generation of Generalized Prime Implicants . 68 4. 2. 2 Selecting a Minimum Encodeable Cover . . . 68 4. 2. 3 Dominance and Disjunctive Relationships to S- isfy Constraints . . . . . . . . . . . 70 4. 2. 4 Constructing the Optimized Cover 73 4. 2. 5 Correctness of the Procedure . . 73 4. 2. 6 Multiple Symbolic Outputs . . .
Read Less
Book Details
Seller
Sort
U.K./EUR Sellers
Price: Low to High
Price: High to Low
Condition
Condition: Reverse
Pub Date
Pub Date: Reverse
Sellers Near Me
Trade paperback,
New
2012, Springer
ISBN-13:
9781461366133
See Item Details ▾
Basi6 International
BEST
Irving,
TX,
USA
$107.04
$149.99
Add to Basket
Add this copy of Sequential Logic Synthesis to cart. $107.04, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 2012 by Springer.
Edition: 2012, Springer
Trade paperback,
New
Details: ISBN:
1461366135
ISBN-13:
9781461366133
Pages:
225
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
18951962733
Shipping Options: Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New, Satisfaction guaranteed! !
Hide Details ▴
Trade paperback,
New
2012, Springer
ISBN-13:
9781461366133
See Item Details ▾
Alibris
BEST
NV, USA
$112.32
$149.99
Add to Basket
Add this copy of Sequential Logic Synthesis to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 2012 by Springer.
Edition: 2012, Springer
Trade paperback,
New
Available Copies: 10+
Details: ISBN:
1461366135
ISBN-13:
9781461366133
Pages:
225
Publisher:
Springer
Published:
2012
Language:
English
Alibris ID:
11986821321
Shipping Options: Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Print on demand Trade paperback (US). Glued binding. 225 p. The Springer International Engineering and Computer Science, 162.
Hide Details ▴
Hardcover,
New
1991, Springer
ISBN-13:
9780792391876
See Item Details ▾
Basi6 International
BEST
Irving,
TX,
USA
$107.04
Add to Basket
Add this copy of Sequential Logic Synthesis to cart. $107.04, new condition, Sold by Basi6 International rated 5.0 out of 5 stars, ships from Irving, TX, UNITED STATES, published 1991 by Springer.
Edition: 1991, Springer
Hardcover,
New
Details: ISBN:
079239187X
ISBN-13:
9780792391876
Pages:
225
Edition:
1992 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
18951962581
Shipping Options: Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New, Satisfaction guaranteed! !
Hide Details ▴
Hardcover,
New
1991, Springer
ISBN-13:
9780792391876
See Item Details ▾
Alibris
BEST
NV, USA
$112.32
Add to Basket
Add this copy of Sequential Logic Synthesis to cart. $112.32, new condition, Sold by Ingram Customer Returns Center rated 5.0 out of 5 stars, ships from NV, USA, published 1991 by Springer.
Edition: 1991, Springer
Hardcover,
New
Available Copies: 10+
Details: ISBN:
079239187X
ISBN-13:
9780792391876
Pages:
225
Edition:
1992 edition
Publisher:
Springer
Published:
1991
Language:
English
Alibris ID:
10104430727
Shipping Options: Standard Shipping: $4.87
Choose your shipping method in Checkout. Costs may vary based on destination.
Seller's Description: New. Sewn binding. Cloth over boards. 225 p. Contains: Unspecified. The Springer International Engineering and Computer Science, 162.
Hide Details ▴
ISBN-13: 9781461366133
Trade paperback
ISBN-13: 9780792391876
1992 edition
Hardcover
All Editions of Sequential Logic Synthesis
