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