Chipress

Typically we want to get full proof for all assert properties and see all cover properties proven reachable. However, sometimes we may want to disable certain properties from being run during FV.

For example, the FV VIP supports all features of a protocol, but the design itself only supports a subset.

In Jasper Gold, one can disable a particular property using command below:

assert -disable {my_assert}
cover -disable {my_cover}

Jasper Gold also accepts regular expressions in the above commands:

# Disable properties that match zero or more characters followed by either “_sent” or “_received”
assert -disable {.*(_sent|_received)} -regexp
cover -disable {.*(_sent|_received)} -regexp

One can use Tcl built-in pipeline “filter” to achieve the same purpose, for example:

foreach p [filter my_design.pipe\[*].*_sent [assert -list -silent]] {
     assert -disable $p
}

As a good practice and for future reference, we suggest leaving a good justification for each disabled property.

Separately, Jasper Gold offers the Jasper Tcl Library, a library of useful Tcl functions for Jasper users. The library function below adds a waiver that applies to audits:

::jasper::aud::add_waiver [-property <property>]

Audit is the process of reporting issues that needs to be reviewed before FV closure.

Note, before using any library function, source the following file:

source "[get_install_dir]/etc/res/tcl_library/jasper_tcl_library.tcl"