Final Exam will be held on Friday, April 26, 2019. Time: 10:30am - 12:30pm Venue: LCB 215 (Our regularly scheduled classroom) This is according to the U's Exam schedule: https://registrar.utah.edu/academic-calendars/final-exams-spring.php Final Exam Syllabus: 1. Boolean Function Decomposition: Theory and application [Not given in the textbook, but all the slides and paper on the class website] - Bi-decomposition: AND, OR, XOR and MUX - You should understand how to perform these decompositions on a decomposition chart (K-map), and how to do it on BDDs [Yang and Ciesielski's paper] - Boolean versus algebraic decomposition/factoring 2. Algebraic models for multi-level logic synthesis - Chapter 10, as well as the material covered in the class. - Sections 10.1 to 10.5: Weak division, kernel-co-kernels, common subexpression extraction 3. Don't cares in simplification [Chapter 11] - Controllability don't cares for a node - Observability don't cares of a node at a given primary output - Satisfiability don't cares of a network 4. Minimization of completely and incompletely specified machines [Chapter 8, Sections 8.1, 8.2, 8.3] - Compatibles, maximal compatibles, prime compatibles - Their computation using the merger graph/table and the compatibility graph method [Scanned notes from Kohavi's book] - Formulating the FSM minimization using the binate covering problem - Deriving the covering and closure constraints, representing them as CNF (clauses) - Formulating and solving the binate covering problem - State Encoding 5. Symbolic Encoding: Dichotomy based Input Encoding - Given an encoding-constraint matrix (A), identify a binary encoding matrix (E) with minimum number of bits that satisfy the constraints. 6. Timing optimization [Covered in Class 4/22-4/24, Andreas Kuehlmann's slides]: - Finding arrival and required times on a circuit, computing slack - Static Sensitization and false paths 7. Chapter 13, technology mapping. 8. Craig interpolants [On the class website]: - Smallest interpolant - Largest interpolant - Use of interpolants for partial synthesis of rectification and ECO patch functions