Hi, If unbounded delay range is used in an assertion property, it will be checking till the end of simulation and it will not give a fail status at the end of test. For example, property p1; @(posedge clk) |-> ##[1:$] ; endproperty In the above example, if consequent doesn’t occur throughout…

Qualify as strong sequences that have range delays or consecutive repetition operators (e.g., [*, [->, [= , and are consequents in an assertion. This is important when it is necessary to qualify an assertion as a failure if the consequent never terminates at the end of simulation. Example: …

IMPORTANT NOTICE: Please be advised that the Verification Academy Forums will be offline for scheduled maintenance on Sunday, September 14th at 1:00 US/Pacific.

Verification Academy

Unbounded delay range in Assertion Property

SystemVerilog

Dilip_Bagadi July 20, 2015, 1:24pm 3

Hi Ben,

Is “strong” supported by all the tools? Is this recommended in LRM?

Regards,
Dilip