Optimization Techniques for Verification of Out-of-Order Execution Machines

Figure 2

Figure depicts flushing (a) and collapsed flushing (b).

(a)

(b)