COURSE OUTLINE

• Introduction to Design Automation

• Switching Theory
  • Sets and Relations
  • Partial Orders
  • Hasse Diagrams
  • Lattice
  • Atoms
  • Boolean Algebras

• Logic Synthesis
  • Two-level Logic synthesis
  • Quine/McCluskey Method
  • Unate Covering
  • Incomplete Specification
  • Computational Techniques

• Multi-level Logic Synthesis
  • Technology Mapping to CMOS/NMOS/PMOS
  • Decomposition
  • Technology Mapping to LUTs with Chortle
  • Binary Decision Diagrams

• Sequential techniques
  • Finite state machines.
  • Synchronous circuits
  • State tables
  • State assignment
  • Synthesis and verification
  • Finite Automata