RE: [sv-ac] updated 1648

A few minor comments:

1. in 16.12, do you want to say "becomes true" versus "is true"
"Becomes" implies and edge to me.

2. the syntax box of 16.15 does not need the default clocking line,
which is consistent with the default clocking section not listing the
default disable iff 

3. I would delete the a8 example.  This is off topic for this section
and is covered in the previous section.  (talking about the inferred
enabling condition)

Some more serious questions, and I apologize because I think we
discussed this but it is still not clear. It states that the default
applies to a module, interface, or program block, and that it applies to
any nested module, interface or program declaration. So two questions:
a) if I have assertions in a generate block in the module (which creates
a new scope) does the disable iff extend to it? I think the answer was
yes but I still can't see why based on the write-up. 
b) if I define a default disable iff in this generate block, or in a
nested module, interface or program block, then does it apply to the
module in which it is nested?  I would not think this is desired, but
don't think it is clear from the text since the location of the default
disable is not important.

If there is no additional text added, then perhaps adding an example of
each would be good. If desired I can create the examples and send them
to you since I don't mean to create more work for you.

Lisa


-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Wednesday, November 07, 2007 11:02 AM
To: sv-ac@eda.org
Subject: [sv-ac] updated 1648

Hi Folks:

I put an updated version of 1648 on Mantis.

Please have a look and send feedback.  See the change
notes at the end of the preamble.

Manisha, Lisa:  Please ensure that your feedback has
been addressed and send me mail to confirm or to 
provide additional comments.

J.H.

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


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