Wu’s Characteristic Set Method for SystemVerilog Assertions Verification

Figure 5

Polynomials and variables for safety property checking.