User guide

23-51
SystemVerilog Assertion Constructs
fcov_get_modules array of
handles
Returns an array of handles for the
modules that contain at least one
assertion.
fcov_get_name -object handle string Returns the name of the object the
specified handle.
fcov_get_no_bins -assertion handle int Returns total bins for the assertion
with the specified handle.
fcov_get_no_of_assertions int Returns total number of assertions
in the design..
fcov_get_no_of_assertions -instance
handle
int Returns total number of assertions
for the instance with the specified
handle.
fcov_get_no_of_assertions -module
handle
int Returns total number of assertions
for the module with the specified
handle.
fcov_get_no_of_assertions_attempted int Returns total number of assertions
attempted in the design.
fcov_get_no_of_assertions_attempted
-instance handle
int Returns total number of assertions
attempted for the instance with the
specified handle.
fcov_get_no_of_assertions_attempted
-module handle
int Returns total number of assertions
attempted for the module with the
specified handle.
fcov_get_no_of_assertions_failed int Returns total number of assertions
that failed in the design.
fcov_get_no_of_assertions_failed
-instance handle
int Returns total number of assertions
that failed for the instance with the
specified handle.
fcov_get_no_of_assertions_failed
-module handle
int Returns total number of assertions
that failed for the module with the
specified handle.
fcov_get_no_of_assertions_succeeded int Returns total number of assertions
that succeeded/matched in the
design.
fcov_get_no_of_assertions_succeeded
-instance handle
int Returns total number of assertions
that succeeded/matched for the
instance with the specified handle.
fcov_get_no_of_assertions_succeeded
-module handle
int Returns total number of assertions
that succeeded/matched for the
module with the specified handle.
Command Return
Value
Description