1
Download Encore SIM EDITOR SOFTWARE User guide
Transcript
$ova_category_stop(category) System task that stops all assertions associated with the specified category. Using Mask Values To Stop And Restart Assertions There are system tasks for both OpenVera and SystemVerilog assertions that allow you to use a mask to determine if a category of assertions should be stopped or restarted. These system tasks are $ova_category_stop and $ova_category_start. They have matching syntax. $ova_category_stop(categoryValue, maskValue[, globalDirective]); Here: categoryValue Because there is a maskValue argument, this argument now is the result of an anding operation between the assertion categories and the maskValue argument. If the result matches this value, these categories stop. As seen in "Stopping And Restarting Assertions By Category" on page 23-71, without the maskValue argument, this argument is the value you specified in $ova_set_category system tasks or category attribute. maskValue A value that is logically anded with the category of the assertion. If the result of this and operation matches the categoryValue, VCS stops monitoring the assertion. SystemVerilog Assertion Constructs 23-72
