EE 439 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.