Simulation-Based Hardware Verification with a Graph-Based Specification

Figure 5

Diagram of the proposed semiformal verification platform.