Using Systemverilog Assertions in GateLevel Verification Environments(04) Save Image Image gallery: Systemverilog Assertion Without Using Dist