Topics to be covered on Final.
- Reversible functions and factorization.
- Factorization based on kernels, co-kernels, etc.
- Boolean decomposition using graphs.
- DAG covering for technology mapping.
- Tree covering for technology mapping.
- NPN classification for technology mapping.
- Unate Paradigm and its uses.
- Espresso main loop.
The latest time to return exam is Tuesday morning.