RE: [sv-ac] Updated proposal for 3069

From: Bresticker, Shalom <shalom.bresticker@intel.com>
Date: Wed Nov 16 2011 - 03:58:59 PST

Agreed

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Kulshrestha, Manisha
Sent: Wednesday, November 16, 2011 1:55 PM
To: Katz, Jacob; sv-ac@eda-stds.org
Subject: RE: [sv-ac] Updated proposal for 3069

Hi Jacob,

I think it is better to phrase it like this:

Global clocking may be declared in a module, an interface, a checker, or a program. A given module, interface, checker, or program may shall contain at most one global clocking declaration; it shall be an error otherwise. Global clocking shall not be declared in a generate block.

Thanks.
Manisha

From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Katz, Jacob
Sent: Wednesday, November 16, 2011 2:50 PM
To: sv-ac@eda-stds.org
Subject: [sv-ac] Updated proposal for 3069

Following the recent discussion, I uploaded a modified proposal for 3069 which disallows global clocking declaration in generate blocks.
Please review at http://www.eda-stds.org/mantis/view.php?id=3069.

The changes are as follows.

* Replaced:

Global clocking may be declared in a module, an interface, a checker, or a program, including inside a generate block therein. A given module, interface, checker, or program may contain multiple global clocking declarations appearing syntactically, for example within generate conditionals. However, any of its instances in the elaborated design description shall contain at most one global clocking declaration; it shall be an error otherwise.

With:

Global clocking may be declared in a module, an interface, a checker, or a program. A given module, interface, checker, or program may contain at most one global clocking declaration; it shall be an error otherwise. Global clocking shall not be declared in a generate block.

* Removed references to generate blocks from the hierarchical lookup rules.

* Removed the last two examples
--------------------------------
Jacob M. Katz | jacob.katz@intel.com<mailto:jacob.katz@intel.com> | Work: +972-4-865-5726 | iNet: (8)-465-5726

---------------------------------------------------------------------
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<http://www.mailscanner.info/>, and is
believed to be clean.
--
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.
Received on Wed Nov 16 03:59:38 2011

This archive was generated by hypermail 2.1.8 : Wed Nov 16 2011 - 03:59:44 PST