Prerequisite: Completion of ENEE245 and ENEE350 with a C- or better.

This project-oriented course will cover the basics of verifying hardware description language (HDL) digital systems, from theory to industry practice, and the implementation by a FPGA board. Laboratory exercises will deal with applications of the concepts taught, and these will be based on verification tools currently used in industry and SystemVerilog, a hardware description and hardware verification language. The lectures will discuss the basics of verification, starting with combinational logic, and include function representations based on digital design diagrams, finite state machines, as well as processors.