Hi,
In the interface module I have some assertions of this kind:
assert_empty_to_high: assert property (
@(posedge clk) disable iff (res)
(cnt == 0) |-> empty
);
Then I run the sim with :
Elab:
-top work.top_tb -genimage image -uvm 1.2
Sim:
-image image -code-cov a -waves waves.mxd +acc+b -uvm 1.2 +UVM_TESTNAME=test
In the end of run it shows:
SVA Summary: 9 assertions, 888 evaluations, 377 nonvacuous passes, 9 disables, 19 failures
But none of the assertion waveforms are available in the mxd.
It looks like there is no assertion data at all in the mxd.
Also have tried the vcd format.
How to see the waveforms ?
