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.