Re: [sv-ac] default disable iff

From: John Havlicek <john.havlicek_at_.....>
Date: Tue Nov 20 2007 - 12:08:03 PST
Hi Lisa:

A default disable iff should apply to a nested scope unless the 
nested scope has its own default disable iff declared.

See also the response from Gord.  The text in 22.8 is out of date,
so we need to use good judgment in deciding whether or not to align
with particular text in 22.8.

I don't think that we should talk about putting default disable
iff in places where the syntax does not allow it (e.g., tasks,
functions, named blocks).

Even if such usage makes sense, I suspect that it is not worth the
effort to add the capability at this time.

J.H.

> X-Authentication-Warning: server.eda.org: majordom set sender to owner-sv-ac@eda.org using -f
> X-MimeOLE: Produced By Microsoft Exchange V6.5
> Content-class: urn:content-classes:message
> Date: Tue, 20 Nov 2007 13:10:25 -0500
> X-MS-Has-Attach: 
> X-MS-TNEF-Correlator: 
> Thread-Topic: default disable iff
> thread-index: AcgroJ/g46kJVgsSQaaDaUkxcPHMag==
> From: "Lisa Piper" <piper@cadence.com>
> X-Received: By mx-sanjose.cadence.com as lAKIBBfV005401 at Tue Nov 20 10:11:12 2007
> X-eda.org-MailScanner: Found to be clean, Found to be clean
> X-Spam-Status: No, No
> Sender: owner-sv-ac@eda.org
> X-eda.org-MailScanner-Information: Please contact the ISP for more information
> X-eda.org-MailScanner-From: owner-sv-ac@server.eda.org
> X-OriginalArrivalTime: 20 Nov 2007 18:17:58.0873 (UTC) FILETIME=[ADFB8490:01C82BA1]
> 
> This is a multi-part message in MIME format.
> 
> ------_=_NextPart_001_01C82BA0.A0B0731C
> Content-Type: text/plain;
> 	charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> Hi John,
> 
> To define the scoping rules for 1648 "default disable iff" I planned to
> re-use most of the wording from 22.8 scoping rules(shown edited below).
> This means that a default disable iff would not apply to nested modules.
> Do we want them to apply to nested modules?=20=20
> 
> 		Default disable iff shall be declared either within a
> the task, function, named block, or generate block locally or
> 		within a module, interface, program, task, function,
> named block, or generate block that is higher in the
> 		same branch of the name tree that contains it. the task,
> function, named block, or generate block. If it is
> 		declared locally, then the local item shall be used; if
> not, the search shall continue upward until an item by
> 		that name is found or until a module, interface, or
> program boundary is encountered.=20=20
> 		More than one default  disable iff item within the same
> scope is an error.=20
> 
> Lisa
> 
> 
> --=20
> This message has been scanned for viruses and
> dangerous content by MailScanner, and is
> believed to be clean.
> 
> 
> ------_=_NextPart_001_01C82BA0.A0B0731C
> Content-Type: text/html;
> 	charset="us-ascii"
> Content-Transfer-Encoding: quoted-printable
> 
> <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN">
> <HTML>
> <HEAD>
> <META HTTP-EQUIV=3D"Content-Type" CONTENT=3D"text/html; charset=3Dus-ascii">
> <META NAME=3D"Generator" CONTENT=3D"MS Exchange Server version 6.5.7652.24">
> <TITLE>default disable iff</TITLE>
> </HEAD>
> <BODY>
> <!-- Converted from text/rtf format -->
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">Hi=
>  John,</FONT></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">To=
>  define the scoping rules for 1648</FONT></SPAN><SPAN LANG=3D"en-us"> <FONT=
>  COLOR=3D"#0000FF" FACE=3D"Arial">&#8220;</FONT></SPAN><SPAN LANG=3D"en-us"=
> ><FONT COLOR=3D"#0000FF" FACE=3D"Arial">default disable iff</FONT></SPAN><S=
> PAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">&#8221;</FONT></S=
> PAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">&nbsp;I</FO=
> NT></SPAN><SPAN LANG=3D"en-us"> <FONT COLOR=3D"#0000FF" FACE=3D"Arial">plan=
> ned to</FONT></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Ar=
> ial"> re-use most of the wording from 22.8</FONT></SPAN><SPAN LANG=3D"en-us=
> "><FONT COLOR=3D"#0000FF" FACE=3D"Arial"> scoping rules(shown edited below)=
> </FONT></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">.=
>  This means that a d</FONT></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000=
> FF" FACE=3D"Arial">e</FONT></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000=
> FF" FACE=3D"Arial">fault disable iff would not apply to nested modules.&nbs=
> p;</FONT></SPAN><SPAN LANG=3D"en-us"> <FONT COLOR=3D"#0000FF" FACE=3D"Arial=
> ">Do w</FONT></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Ar=
> ial">e want them to apply to nested modules</FONT></SPAN><SPAN LANG=3D"en-u=
> s"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">?&nbsp;</FONT></SPAN><SPAN LANG=
> =3D"en-us"> </SPAN></P>
> <UL DIR=3DLTR><UL DIR=3DLTR>
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><I><FONT COLOR=3D"#0000FF" FACE=3D"Arial"=
> >Default disable iff</FONT></I></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#=
> 0000FF" FACE=3D"Arial"> shall be declared either within a</FONT></SPAN><SPA=
> N LANG=3D"en-us"><STRIKE> <FONT COLOR=3D"#FF0000" FACE=3D"Arial">the task, =
> function, named block, or</FONT></STRIKE></SPAN><SPAN LANG=3D"en-us"><FONT =
> COLOR=3D"#0000FF" FACE=3D"Arial"> generate block locally or</FONT></SPAN></=
> P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">wi=
> thin a module, interface, program</FONT></SPAN><SPAN LANG=3D"en-us"><STRIKE=
> ><FONT COLOR=3D"#FF0000" FACE=3D"Arial">, task, function, named block,</FON=
> T></STRIKE></SPAN><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Aria=
> l"> or generate block that is higher in the</FONT></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">sa=
> me branch of the name tree that contains it.</FONT></SPAN><SPAN LANG=3D"en-=
> us"><STRIKE> <FONT COLOR=3D"#FF0000" FACE=3D"Arial">the task, function, nam=
> ed block, or generate block</FONT></STRIKE></SPAN><SPAN LANG=3D"en-us"><FON=
> T COLOR=3D"#0000FF" FACE=3D"Arial">. If it is</FONT></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">de=
> clared locally, then the local item shall be used; if</FONT></SPAN><SPAN LA=
> NG=3D"en-us"> <FONT COLOR=3D"#0000FF" FACE=3D"Arial">not</FONT></SPAN><SPAN=
>  LANG=3D"en-us"><B><FONT COLOR=3D"#0000FF" FACE=3D"Arial">,</FONT></B></SPA=
> N><SPAN LANG=3D"en-us"><U> <FONT COLOR=3D"#0000FF" FACE=3D"Arial">the searc=
> h shall continue upward until an item by</FONT></U></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><U><FONT COLOR=3D"#0000FF" FACE=3D"Arial"=
> >that name is found or until a module, interface, or program boundary is en=
> countered.</FONT></U></SPAN><SPAN LANG=3D"en-us"><U><FONT COLOR=3D"#FF00FF"=
>  FACE=3D"Arial">&nbsp;</FONT></U></SPAN><SPAN LANG=3D"en-us"><U> </U></SPAN=
> ></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">Mo=
> re than one default &nbsp;disable iff item within the same scope is an erro=
> r.</FONT></SPAN><SPAN LANG=3D"en-us"> </SPAN></P>
> </UL></UL>
> <P DIR=3DLTR><SPAN LANG=3D"en-us"><FONT COLOR=3D"#0000FF" FACE=3D"Arial">Li=
> sa</FONT></SPAN><SPAN LANG=3D"en-us"></SPAN></P>
> 
> <P DIR=3DLTR><SPAN LANG=3D"en-us"></SPAN></P>
> 
> </BODY>
> <br />--=20
> <br />This message has been scanned for viruses and
> <br />dangerous content by
> <a href=3D"http://www.mailscanner.info/"><b>MailScanner</b></a>, and is
> <br />believed to be clean.
> </HTML>
> 
> ------_=_NextPart_001_01C82BA0.A0B0731C--

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.
Received on Tue Nov 20 12:08:42 2007

This archive was generated by hypermail 2.1.8 : Tue Nov 20 2007 - 12:08:52 PST