COEN6551 (Summer 2024) - Exam 1
Date: Monday, May 27, 2024
-
Time: 16:15-17:45
-
Place: FB-S143
Material allowed: Only Calculators (closed book!)
Topics:
- Overview of formal verification techniques
- Combinational equivalence checking
- Sequential equivalence checking
Last Modified on
05/06/2024 14:41:02