In reply to Tudor Timi:
In reply to Reuben:
What is the natural language requirement you are trying to model as an assertion? When ‘a’ is low, do you expect to see ‘sig1 & sig2 & sig3’ always, followed by ‘sig_B’? Do you only expect ‘sig1 & sig2’ to be true when ‘sig3’ is high? A detailed description of what you want to achieve would help.
Hi. I just want to know how if-else statement is evaluated in assertion property.
I’m analyzing someone’s code and that is how he wrote his assertion. When I ran the simulation, I saw that his assertions are passing even though the antecedents are not yet met. ‘a’ is always low, sig3 never becomes high, but the assertion is passing. How come?