Lectures related to Hardware emulation

Explores challenges in hardware verification, clear specifications, speculation harm, and cycle-precise semantics.

Explores the basics of microcontrollers, from definition to practical implementation using Arduino and LaunchPad.

Covers test techniques for digital VLSI systems, including fault modeling and design for testability.

Presents the SecChisel framework for verifying security properties of secure processor architectures at design-time.

Covers the process of generating a Clock Generator (PLL) IP in Vivado using the Clocking Wizard tool.