Actors are synthesizable finite-state machines.

Verification tools change at every stage — a C model, then RTL, then a UVM testbench, then an emulator, then silicon — and each boundary is re-authored by hand, with the interpretation gap and verification debt that follow. This book carries one model of computation, the actor graph, across every boundary: it is a finite-state machine, finite-state machines synthesize, and so the same authored definition renders per substrate with no rewrite.