PAPER: Understanding the SVA Engine + Simple alternate solutions

In reply to ben@SystemVerilog.us:

An application example in using a task called from a consequent in an assertion:
https://verificationacademy.com/forums/systemverilog/usage-variable-delay-sva

SystemVerilog.us