Assertion to check without using any clock, if signal A is high signal B must be high

[dave_59]

In reply to shals:

If you truly mean “for all time”

assert final (A->B);