In reply to ben@SystemVerilog.us:
Hi Ben, I was specifically asking for the print statements thrown by the $assertoff VPI. Something like below
“Stopping new assertion attempts at time x fs”
In reply to ben@SystemVerilog.us:
Hi Ben, I was specifically asking for the print statements thrown by the $assertoff VPI. Something like below
“Stopping new assertion attempts at time x fs”