Hello I am writing some immediate assertions. The assertion is like when the enable is active a counter should be maintained.
I came up with the understanding that counter should exist with some value so the assertion:
assert final (enable & cnt_en & cnt >= 'd0)
else
$display("assertion failed");
cover final (enable & cnt_en & cnt >= 'd0)
$info(" assertion covered");
I am getting pass for this one ,however my question is , is this the correct way for deferred assertion coverage? . Any inputs ...