EE 539 Pre-silicon Verification

This course is an introduction to functional pre-silicon verification of digital systems. The course will cover verification flow, simulation based verification, virtual platforms, formal verification and FPGA-based emulation.  Includes an advanced verification project.  Prior knowledge of embedded systems is required.