Verification Academy
SVA : Property is a tautology
SystemVerilog
SVA-Arbiter
,
SVA
,
SystemVerilog
,
Assertion-Based-Verification
,
SVA-Assertion
nimitz_class
March 30, 2021, 7:29am
10
In reply to
ben@SystemVerilog.us
:
This solution is giving me UE results when req and gnt are high?
show post in topic