Verification of Digital Systems (CME 435.3)

Recent/Current Offerings

Syllabus / Public content Section Term Instructor
CME 435 01 September 2016 Anthony Rapley (primary instructor)


Covers the verification of digital circuits and systems with emphasis on SystemVerilog, a verification language. It starts with the basics, such as functional verification methodologies, and SystemVerilog fundamentals, and gradually builds to more complex examples and advanced topics. At the end of the course, a complete verification system is created using SystemVerilog.


CME 341.

Resources and Supports for CME 435

U of S Bookstore Textbook Search
Library Reserves Search
Hire a Tutor Search