Sequential Logic Synthesis - The Springer International Series in Engineering and Computer Science 162 (Paperback)
  • Sequential Logic Synthesis - The Springer International Series in Engineering and Computer Science 162 (Paperback)
zoom

Sequential Logic Synthesis - The Springer International Series in Engineering and Computer Science 162 (Paperback)

(author), (author), (author)
£109.99
Paperback 225 Pages / Published: 12/10/2012
  • We can order this

Usually dispatched within 3 weeks

  • This item has been added to your basket
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 by the 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 . . .

Publisher: Springer-Verlag New York Inc.
ISBN: 9781461366133
Number of pages: 225
Weight: 403 g
Dimensions: 240 x 160 x 13 mm
Edition: Softcover reprint of the original 1st ed. 199

You may also be interested in...

Robotics: A Very Short Introduction
Added to basket
Electronics In Music
Added to basket
£9.99
Paperback
Encyclopedia of Electronic Components
Added to basket
The Lego Mindstorms Ev3 Discovery Book
Added to basket
Make: More Electronics
Added to basket
Electronics For Dummies
Added to basket
Arduino Workshop
Added to basket
£24.99
Paperback
The Lego Mindstorms Ev3 Idea Book
Added to basket
Electronics All-in-One For Dummies - UK
Added to basket
Drones For Dummies
Added to basket
£17.99
Paperback

Please sign in to write a review

Your review has been submitted successfully.