From talking to him about Tuesday's lecture, I hope everyone has a
good idea about the material that will be on the midterm. I have not
yet received the midterm from Professor Wang so do not know the actual
questions that will be on the test.
The main topics that will be covered on the midterm are:
- Multi-level logic synthesis
- OBDD
- Sat
- BEQ-Symbolic Simulation
-Sam