[sv-ac] 1648 - default disable iff

The change was pretty simple as it turns out.

 

A default disable iff may be declared as an item within a module,
interface, or program. It provides a default disable condition to all
concurrent assertions in the scope of the default disable iff
declaration, in accordance with the scope rules of 22.8.

 

I made one other change.  The label and section number for 16.48 was
wrong.  It was a duplicate of the previous.

 

I did not make any other changes. I have uploaded it to Mantis.

 

Lisa

 

-----Original Message-----
From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of John
Havlicek
Sent: Tuesday, November 13, 2007 9:22 PM
To: sv-ac@eda.org
Subject: [sv-ac] notes from SV-AC meeting 2007-11-13

 

Hi Folks:

 

My notes from today's meeting are attached.

 

Please let me know if changes are required.

 

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.