University of Pittsburgh

Computer Engineering and Electrical Engineering

EE 2141 Validation and Verification Techniques for Digital Systems

Professor Steven P. Levitan

Spring 2004 Course Offering

This course will present state of the art methodologies and tools for simulation based validation and formal verification of complex digital systems implemented as systems on a chip.  Topics include testing strategies, test bench design, coverage, and model checking. Prerequisites: Introduction to SoC Design, Introduction to VLSI Design, or consent of instructor.