Verification that emerges from the system it verifies.

A System-on-Chip is already a system of concurrent, communicating blocks — so this book builds verification as one too. Stimulus, checkers, coverage, and registers become autonomous actors, wired by their message topology, and system-level correctness emerges from their local contracts instead of a central testbench that grows unmanageable at scale. Because an actor is a finite-state machine, and finite-state machines synthesize, that same authored graph then renders on every substrate — C model, RTL, simulator, emulator, silicon — with no boundary re-authored by hand and no interpretation gap between them.