$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.