Verification basics

Verification asks: does this RTL do what we meant? Start with a clear testbench, directed tests, and simple self-checks — then grow into constrained-random and assertions.

Pyramid (pragmatic)

1. Lint — catch careless RTL early
2. Directed sim — hand-written scenarios
3. Assertions — embed rules next to the design
4. Coverage / CRV — later courses (SV / UVM)

Topics in this section

• Testbench structure
• Assertions

In RTL Studio

Use Learn labs with $dumpfile / $dumpvars, then open the VCD in Surfer. See also the simulation guide.