User guide

23-50
SystemVerilog Assertion Constructs
fcov_get_children -instance handle array of
handles
Returns an array of handles for the
child instances that contain at least
one assertion under their hierarchy.
The parent instance is with the
specified handle.
fcov_get_coverage -bin handle int Returns the coverage count
associated with the bin with the
specified handle. It can be 0 or the
count of the times the bin was
covered.
fcov_get_flag -bin handle string Returns the flag associated with the
bin with the specified handle. It can
be: “illegal”, “ignored”, or
“impossible”.
fcov_get_handle -instance name handle Returns a handle for the instance
specified with its full hierarchical
name.
fcov_get_handle -module name handle Returns a handle for the specified
module.
fcov_get_handle -instance |
-module name1 -assertion name2
handle Returns the handle to the specified
assertion in the specified instance or
module. The assertion name must
follow the convention for the full
name of an assertion.
fcov_get_handle -instance |
-module name1 -assertion name2
-bin name3
handle Returns the handle to the specified
bin for the specified assertion in the
specified instance or module.
Current names are: “ 1attempts”,
“ 2failures”, “ 3allsuccesses”,
“ 4realsuccesses”, and “ 5events”
(note that all bin names start with a
space).
fcov_get_instances array of
handles
Returns an array of handles for the
instances that contain at least one
assertion under their hierarchy.
fcov_get_instances -module handle array of
handles
Returns an array of handles for the
instances that contain at least one
assertion under their hierarchy for
the module with the specified
handle.
Command Return
Value
Description