Simulation-Based Hardware Verification with a Graph-Based Specification

Figure 2

The proposed functional ATPG flow.