SystemVerilog Assertion Terminology Check on Assert/Deassert(05) Save Image Image gallery: Systemverilog Assertion Without Using Dist