COEN6551 (Summer 2023) - Exam 1
Date: Monday, May 29, 2023
-
Time: 16:15-17:45
-
Place: FG-B030
Material allowed: Only Calculators (closed book!)
Topics:
- Overview of formal verification techniques
- Combinational equivalence checking
- Sequential equivalence checking
Last Modified on