How to build a layered, self-checking SystemVerilog testbench: generator, driver, monitor, reference model, scoreboard and coverage, with code, debugging tips and the mapping to UVM.
Browsing: Verification methodology
SystemVerilog constrained randomisation explained: rand and randc, constraint blocks, dist, implication, foreach, unique, soft, solve before, inline constraints and common mistakes.
What SystemVerilog is, how it extends Verilog for RTL design and verification, a short history, what each role needs to learn, and a learning path.
What UVM is, why it exists, its core classes, a minimal UVM test, and a learning path through my UVM series.