← 136 SystemVerilog Assertions Handbook, 3 Edition