Wu’s Characteristic Set Method for SystemVerilog Assertions Verification

Figure 3

A 3-stage johnson counter waveform.