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