What would be the right assertion to capture this behavior → signal A (level or pulse) rises only once after signal B(pulse)?
In reply to letzask:
A few questions:
Do you mean to say A rises only once after B rises; until B rises again, or A must never rise again?
Are A and B synchronous to a clock or asynchronous?
In reply to dave_59:
Hi Dave,
This is the requirement: A rises only once after B rises; until B rises again
Also, A & B are synchronous to a clock.
In reply to letzask:
I believe this is the same requirement: how to write the assertion that between two requests grant should be there | Verification Academy