Simulation-Based Hardware Verification with a Graph-Based Specification

Figure 3

An example of condition path extraction. (a) The condition of the EDFG in Figure 1. (b) The condition paths extracted from the condition shown in (a).