Re: [sv-ac] 16.16 Disable iff resolution // Question

Shalom, Thanks. I submitted a Mantis
 0002825 <http://www.eda-stds.org/svdb/view.php?id=2825> ErrataSV-AC minor
new 2009-07-23 16.16 Disable iff: checkers not included in list of default
extensions

Ben

On Wed, Jul 22, 2009 at 9:58 PM, Bresticker, Shalom <
shalom.bresticker@intel.com> wrote:

>  No, it was not corrected.
> However, I believe that it does not mean that checkers are excluded, as
> 17.2 says,
> "Clock and *disable iff *contexts are inherited from the scope of the
> checker declaration".
>
> I think you should file a Mantis.
>
> Shalom
>
>  ------------------------------
> *From:* owner-sv-ac@server.eda.org [mailto:owner-sv-ac@server.eda.org] *On
> Behalf Of *ben cohen
> *Sent:* Thursday, July 23, 2009 1:05 AM
> *To:* sv-ac@server.eda.org
> *Subject:* [sv-ac] 16.16 Disable iff resolution // Question
>
>  *16.16 Disable iff resolution*:   .. Furthermore, the default extends to
> any nested module, interface, or
> program declarations, and to nested generate blocks  ... The scope does not
> extend into any instances of modules,
> interfaces or programs.
> Should this be: ... Furthermore, the default extends to any nested module,
> interface, or
> program declarations, checkers, and to nested generate blocks. ...The
> scope does not extend into any instances of modules,
> interfaces, *checkers*, or programs.
>
> Was this ever corrected? If not, does that mean that checkers are excluded?
>
> Ben
>
> --
> This message has been scanned for viruses and
> dangerous content by *MailScanner* <http://www.mailscanner.info/>, and is
> believed to be clean.
>
> ---------------------------------------------------------------------
> Intel Israel (74) Limited
>
> This e-mail and any attachments may contain confidential material for
> the sole use of the intended recipient(s). Any review or distribution
> by others is strictly prohibited. If you are not the intended
> recipient, please contact the sender and delete all copies.
>
>

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