ECE 595 Emulation and Functional Specification Verification
Introduction to theory and techniques to verify digital circuit designs with emphasis on non-simulation methods. Topics include hardware emulation, formal verification, and abstract system specification. Familiarity with computer architecture and System Verilog is required. A design verification project is an integral part of this course.
Prerequisite
ECE 351 or equivalent,
ECE 571 or permission of instructor.