Hardware Equivalence and Property Verification

Instructor: Jie-Hong Roland Jiang

Formal verification is an essential step in designing a digital electronic system. It certifies the functional correctness of a design. This lecture will provide in-depth coverage of some fundamental aspects of formal hardware verification.

Course Materials

Homework Assignment


ec.txt · Last modified: 2009/07/06 19:27 by mht208
Except where otherwise noted, content on this wiki is licensed under the following license:CC Attribution-Noncommercial-Share Alike 3.0 Unported
Recent changes RSS feed Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki