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.