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