Day 14: Verification, AI Testing & PPA Analysis¶
Week 4 · Session 14 of 16
Pre-Class Slide Decks¶
Work through the slide decks below to prepare for this session. Each deck's focus is summarized so you can see what's ahead at a glance.
Segment 1: Assertions¶
Assertions — executable contracts between you and the hardware. Watch for protocol violations continuously, fail loudly when they happen.
Segment 2: Ai Verification Workflows¶
All semester you've seen “Check the Machine” sidebars. Today we systematize that into a workflow: AI as verification co-pilot.
Segment 3: Ppa Methodology¶
PPA as a methodology — structured process for measuring and improving your design's performance, power, and area.
Segment 4: Coverage Road Ahead¶
Closing the verification loop with coverage, then looking forward at where the field goes next.
Lecture Code Examples¶
Code shown during the pre-class video. Each example is a runnable
subdirectory with its own Makefile (make sim, make stat, make prog).