Chapter 6 of 7

bind: Checking a DUT Without Modifying It

How bind actually works -- placing a checker module's instance inside the target module's own scope, from a file that never touches the DUT's source -- built around wiring chapter 5's three real properties into axil_regfile from outside.