HI,
Assertion control system tasks i.e. $asserton/off are they not supposed to control assertion in checker/endchecker block.
It is not clear as per the LRM.
assert_control_task ::=
assert_task [ ( levels [ , list_of_modules_or_assertions ] ) ] ;
assert_task ::=
$asserton
| $assertoff
| $assertkill
list_of_modules_or_assertions ::=
module_or_assertion { , module_or_assertion }
module_or_assertion ::=
module_identifier
| assertion_identifier
| hierarchical_identifier
Thanks
Abhishek
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Aug 17 08:26:49 2010
This archive was generated by hypermail 2.1.8 : Tue Aug 17 2010 - 08:26:54 PDT