Assertion using $stable with |-> #[...]

[shanthi]

In reply to ingamara:

yes if B should be stable on rising edge of A also then same cycle implication operator should be used instead of next cycle implication operator.