In reply to MICRO_91:
So as soon as 2nd $rose(gnt) is true, 5th and latter sequences don’t match .
Hence it’s interpreted as LHS sequence ends at time:125 resulting in assertion failure.
Yes. This is an optimization by the tool.
In reply to MICRO_91:
So as soon as 2nd $rose(gnt) is true, 5th and latter sequences don’t match .
Hence it’s interpreted as LHS sequence ends at time:125 resulting in assertion failure.
Yes. This is an optimization by the tool.