Simulation-Based Hardware Verification with a Graph-Based Specification

Figure 4

An example of the intelligent redundancy-reduction strategy. (a) The example of test-space decomposition strategy. (b) The example of corner-case analysis strategy.