User guide

23-54
SystemVerilog Assertion Constructs
The names of bins in the coverage database are as follows:
For SVA Assertions
1attempts
Holds the count of the attempts.
2failures
Holds the count of failed attempts.
3allsuccess
Holds the count of succesful attempts.
4realsuccess
Holds the count of attempts with nonvacuous success.
8incompletes
Holds the count of unterminated attempts.
For SVA Property Coverage
1attempts
Holds the count of attempts.
2failures
Holds the count of failed attempts.
3allsuccess
Holds the count of succesful attempts.
fcov_set -bin handle -flag name empty
string ““
Sets the flag with name for the bin
with the specified handle. The flag
can be: “illegal”, “ignored”, or “none”.
fcov_write_coverage -file name empty
string ““
Writes current coverage to a file with
the specified name. The name can
be a file name or full path name. (The
search rules are described in the
table for options.)
Command Return
Value
Description