SVA assertion for realtime variables

SystemVerilog
, , ,
7

In reply to dave_59:
Hi Dave,

In the below statement, don’t we require $floor as we differentiate two realtime variable which can result to real output?


mc_b == $realtime-ctime;