[sv-ac] updated 1648

Hi Neil:

The Champions expressed 4 concerns regarding the content of 1648 in
their feedback on 2007-08-18.  These have been addressed by SV-AC in a
revision of the proposal that was approved by SV-AC on 2007-08-31 with
a few friendly amendments that have now been implemented.

The document is default_disable_1648.070904_dk.pdf on Mantis.

There was a negative opinion expressed by one Champion:

   - I am against this enhancement at the current time. I believe this 
     feature will be useful in a wider context, such as covergroups, but 
     the committees have not had time to study this. If we add this 
     feature now, it will be harder to address the other areas due to 
     backward incompatibilities. For example, suppose the sv-ec decides 
     that default disable should also disable sampling of covergroups. We 
     can't add that capability later; we must look at all the other areas 
     that could be affected. But due to schedules and merge activities, 
     the other committees have not been able to investigate.


There is potential for reuse of the default disable by other committees,
but stalling SV-AC on this item has a negative impact on other SV-AC 
enhancements that are related to it.  Creating subsequent proposals that
are in multiple forms or with conditional changes is error prone and likely
will reduce the overall quality of the 2008 document.

A reasonable alternative is to pass 1648 for Draft 4 and ask the other
committees to consider with high priority the addition of non-assertion
semantics for default disable.

D.K. & J.H.

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