User guide

23-52
SystemVerilog Assertion Constructs
fcov_get_no_of_children -bin handle int Returns total number of child bins
whose parent is the bin handle
handle.
fcov_get_no_of_children -instance
handle
int Returns total number of child
instances containing at least one
assertion under their hierarchy. The
parent instance is with the specified
handle.
fcov_get_no_of_instances int Returns total number of instances
that contain at least one assertion
under their hierarchy.
fcov_get_no_of_instances -module
handle
int Returns total number of instances
containing at least one assertion
under their hierarchy for a module
with the specified handle.
fcov_get_no_of_modules int Returns total number of modules
that contain at least one assertion.
fcov_get_no_of_topmodules int Returns total number of top level
modules that contain at least one
assertion under their hierarchy. (Top
level modules are instances.)
fcov_get_severity -assertion handle int Returns the severity of an assertion
with the specified handle expressed
as an integer.
fcov_get_topmodules array of
handles
Returns an array of handles for the
top level modules that contain at
least one assertion under their
hierarchy. (Top level modules are
instances.)
fcov_get_type -bin handle string Returns the type of the bin with the
specified handle. It can be: “bool” or
“count”.
fcov_get_type -object handle string Returns the type of the object with
the specified handle. The type can
be “module”, “instance”, “assertion”,
or “bin”.
Command Return
Value
Description