PPT Maximizing Verification Efficiency with SystemVerilog Assertion(07) Save Image Image gallery: Systemverilog Assertion Without Using Distance