[sv-ac] Re: P1800-2009: default disable iff declaration // Why illegal in a checker?

Page 403.  I missed pne more place where the cheker needs to also be added:
From:
More than one default disable iff declaration within the same module,
interface, program
declaration, or generate block shall be an error. The scope does not extend
into any instances of modules,
interfaces or programs.

TO:
More than one default disable iff declaration within the same module,
interface, checker, program
declaration, or generate block shall be an error. The scope does not extend
into any instances of modules,
interfaces or programs.



On Wed, May 13, 2009 at 12:02 AM, ben cohen <hdlcohen@gmail.com> wrote:

> 16.16 Disable iff resolution  PAGE 403The LRM does not mention the
> legality of the declaration of a default disable iff in a checker.
> This seems to me like an error, as I see no reason as to why the checker
> should be excluded from this feature.
> I suggest that we add the checker.  Since I cannot yet submit a mantis,
> Dmitry, please submit it for me.
>
> Change on page 403 from:
> A default disable iff may be declared within a generate block or within a module,
> interface, or program
> declaration. It provides a default disable condition to all concurrent
> assertions in the scope and subscopes of
> the default disable iff declaration. Furthermore, the default extends to
> any nested module, interface, or
> program declarations, and to nested generate blocks. However, if a nested module,
> interface, or program
> declaration, or a generate block itself has a default disable iff
> declaration, then that default
> disable iff applies within the nested declaration or generate block and
> overrides any default
> disable iff from outside.
>
> TO:
> A default disable iff may be declared within a generate block or within a module,
> interface, checker, or program
> declaration. It provides a default disable condition to all concurrent
> assertions in the scope and subscopes of
> the default disable iff declaration. Furthermore, the default extends to
> any nested module, interface, checker or
> program declarations, and to nested generate blocks. However, if a nested module,
> interface, checker  or program
> declaration, or a generate block itself has a default disable iff
> declaration, then that default
> disable iff applies within the nested declaration or generate block and
> overrides any default
> disable iff from outside.
> -----------------
> Ben Cohen
>

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