Figure 2 — Higher-level testbench components can verify transaction-level models early in the project. As the designers complete the RTL implementation, it can be brought into the verification ...