[sv-ac] Definition of $assertoff(0) // needs clarification?

Maybe we need to address this at the next version? This is related to
section
20.12 Assertion control system tasks in 1800-2912
 From the post:
"I, too, am starting to believe given the fact $assertoff(0) is not quite
clearly defined in the LRM, that it is eventually left to interpretation,
and EDA vendors will go on to implement the feature in anyway that they
want.

However, it still bodes well intuitiveness should play a role, what I mean
is a number "1" for the level (whether it is $dumpvars or
$asserton/$assertoff) will imply that module only, whereas a number "0"
will imply that module and everything under it... "

Subject: Topic Reply Notification - what is the definition of $assertoff(0)?

http://verificationguild.com/modules.php?name=Forums&file=viewtopic&p=20756#20756

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.