$realtime in SV assertions

$realtime is the de-facto system function I use when writing SystemVerilog assertions. The limitation of $time lies in its 64-bit integer value.

$realtime enables SystemVerilog assertions to be re-used in gate-level simulations. I’m glad that Ben Cohen, the renowned SVA expert, agrees with me on this.

Leave a comment

Leave a Reply

This site uses Akismet to reduce spam. Learn how your comment data is processed.