[sv-ac] question regarding assertion control tasks

Hi,

According to the BNF of the old $asserton/off/kill and the new $assertcontrol, these tasks allow specifying level list_of_scopes_or_assertions missing. It does not specify what is then the target of the task. The same applies to dumpvars which used as the reference.

There, it states
When the $dumpvars task is specified with arguments, the first argument indicates how many levels of the
hierarchy below each specified module instance to dump to the VCD file. Subsequent arguments specify
which scopes of the model to dump to the VCD file. These arguments can specify entire modules or individual
variables within a module.

It does not say what to do when there is no specified module instance.

Is there an interpretation I am missing?

Thanks
ed

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