Hi Ben,
!a[->1] #=# s_always[0:$] !a); /// IS OK, s_always by itself is not OK
As per LRM, i see unbounded strong always is illegal.
I got same error in my sims.
property p5;
s_always [2:$] a; // Illegal
endproperty
The property p5 is illegal since specifying an unbounded range is not permitted with the strong form of an
always property.
Would you recommend putting strong on “a” going low instead?
strong(!a[->1]) #=# always[0:$] !a);
My requirement is,
i need a strong pass/fail that after “done” the signal “a” went low and stayed low for the rest of sim.
strong(!a[->1]) #=# always[0:$] !a);
Ok, i tried this and got below error.
Expected a sequence expression as an operand to the property followed by ‘#=#’ operator