Syllabus

1. Boolean Algebra
2. Two-Level Combinational Logic Minimization
   1. K-Maps
   2. Quine-McCluskey
      1. Single Functions
      2. Single Functions with Don't Cares
      3. Multiple-Output Functions
      4. Multiple-Output Functions with Don't Cares
3. Decomposition
4. Technology Mapping to K-Input LUTs
5. Sequential Systems
   1. State Minimization of Completely Specified Machines
      1. Partition Tables
      2. Implication Tables
   2. State Minimization of Incompletely Specified Machines
      1. Implication Tables
6. Asynchronous Machines
7. Metastability
8. Design of the D Flip-Flop
9. Advanced Topics