Wu’s Characteristic Set Method for SystemVerilog Assertions Verification

Figure 6

Performance-synchronous arbiter example.

(a)

(b)