Topics to be covered on Final.



  1. Reversible functions and factorization.
  2. Factorization based on kernels, co-kernels, etc.
  3. Boolean decomposition using graphs.
  4. DAG covering for technology mapping.
  5. Tree covering for technology mapping.
  6. NPN classification for technology mapping.
  7. Unate Paradigm and its uses.
  8. Espresso main loop.

The latest time to return exam is Tuesday morning.