Unbounded delay range in Assertion Property

In reply to Dilip Bagadi:

I believe that it is supported, as the concept of “strong” was in the original 1800’2005.
I know that the major 3 vendors (Mentor, Cadence, Synopsys) do support it.
Ben