In order to turn off assertions for specific flow or configuration we can use $assertoff even though it will not stop or kill the assertions.


$assertkill will stop all assertions, moving all to state off. It suspends the checking of all specified assertions until $asserton is encountered. An assertion that is already executing, including assertion action blocks, will continue executing.

$assertkill: Abort execution of any currently specified assertions and then stop the checking of all specified assertions until a subsequent $asserton.
$assertoff: Stop the checking of all specified assertions until a subsequent $asserton appears. An assertion that is already executing, including the execution of the pass or fail statement, is not affected.

$asserton: Reenable the execution of all specified assertions.