[sv-ac] 1648 default disable iff

Just after giving up, it came to me, so I gave it one more try.
Attached is the latest.  The new text in question that I was re-writing
is below.  I have uploaded  the proposal to Mantis. If this looks ok
then it is ready to vote. 
Lisa
 <<1648_default_disable_071120_jh_lp.pdf>> 

A default disable iff may be declared within a generate block locally or
within a module, interface, or program declaration. It provides a
default disable condition to all concurrent assertions in the scope and
subscopes of the default disable iff declaration. Furthermore, the
default extends to any nested module, interface, or program
declarations. However, if a nested module, interface, or program
declaration, or a local generate block itself has a default disable iff
declaration, then that default disable iff applies within the nested
declaration or local generate block and overrides any default disable
iff from outside. Any signals referenced in the disable iff item that
are resolved using scopes will be resolved from the scope of the
declaration.
The effect of a default disable iff item is independent of the position
of the declaration within that scope. Declaring more than one default
disable iff item within the same module, interface, program declaration,
or generate scope shall be an error. The scope does not extend into any
instances of modules, interfaces or programs.



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