Sequential Logic Synthesis(1st Edition)

Authors:

Pranav Ashar ,S Devadas ,A Richard Newton

Type:Hardcover/ PaperBack / Loose Leaf
Condition: Used/New

In Stock: 2 Left

Shipment time

Expected shipping within 2 - 3 Days
Access to 35 Million+ Textbooks solutions Free
Ask Unlimited Questions from expert AI-Powered Answers 30 Min Free Tutoring Session
7 days-trial

Total Price:

$75.42

List Price: $107.74 Savings: $32.32 (30%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Sequential Logic Synthesis

Price:

$9.99

/month

Book details

ISBN: 1461366135, 978-1461366133

Book publisher: Springer

Book Price $75.42 : 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 . . .