[sv-cc] RE: [SystemVerilog P1800 0001648]: Default reset for assertions

Clarification requested.  In what sense did the e-mail
ballot fail with 7y/2n/1a.  That sounds like a majority
of yeses.

Regard,
Jim Vellenga

--------------------------------------------------------- 
James H. Vellenga                            978-262-6381 
Software Architect                     (FAX) 978-262-6636 
Cadence Design Systems, Inc.         vellenga@cadence.com 
270 Billerica Rd
Chelmsford, MA 01824-4179
"We all work with partial information." 
----------------------------------------------------------  

]-----Original Message-----
]From: Accellera Mantis Bug Tracker [mailto:mantis@eda-stds.org] 
]Sent: Tuesday, November 06, 2007 9:35 AM
]To: Jim Vellenga
]Subject: [SystemVerilog P1800 0001648]: Default reset for assertions
]
]
]A NOTE has been added to this issue. 
]====================================================================== 
]http://www.eda-stds.org/svdb/view.php?id=1648 
]====================================================================== 
]Reported By:                Dmitry_Korchemny
]Assigned To:                Eduard_Cerny
]====================================================================== 
]Project:                    SystemVerilog P1800
]Issue ID:                   1648
]Category:                   SV-AC
]Reproducibility:            always
]Severity:                   feature
]Priority:                   normal
]Status:                     feedback
]Type:                       Enhancement 
]====================================================================== 
]Date Submitted:             2006-10-24 08:10 PDT
]Last Modified:              2007-11-06 06:35 PST
]====================================================================== 
]Summary:                    Default reset for assertions
]Description: 
]Attached is a default reset proposal for properties (similar to default
]clocking). The proposed syntax is 'default disable' (and not 'default
]reset') in order not to introduce a new keyword.
]======================================================================
]Relationships       ID      Summary
]----------------------------------------------------------------------
]related to          0001757 Property resets: accepton(b) P, rejecto...
]====================================================================== 
]
]---------------------------------------------------------------------- 
] john_havlicek - 2007-06-25 12:50  
]---------------------------------------------------------------------- 
]Passed by e-mail ballot 2007-06-19 8y/0n/3a. 
]
]---------------------------------------------------------------------- 
] Eduard_Cerny - 2007-07-18 13:51  
]---------------------------------------------------------------------- 
]To align with 1800-2008 Draft 3a 
]
]---------------------------------------------------------------------- 
] Eduard_Cerny - 2007-07-18 13:53  
]---------------------------------------------------------------------- 
]Aligned with 1800-2008 draft 3a: minimal changes in font color. 
]
]---------------------------------------------------------------------- 
] Eduard_Cerny - 2007-08-27 14:09  
]---------------------------------------------------------------------- 
]updating to address champions' concerns 
]
]---------------------------------------------------------------------- 
] Eduard_Cerny - 2007-08-28 07:46  
]---------------------------------------------------------------------- 
]Answers to comments from the champions' meeting:
]
]         - Same properties can have different behavior depending on how
]used.
]          Top-level versus not top-level (e.g. rule b on first page).
]
]The default disable applies only to assert, assume and cover property
]statements, not to property and sequence declarations. A sentence was
]added to that effect.
]
]         - The bnf shouldn't be in the text.
]Done.
]
]        - 3rd paragraph under syntax box, part about "...on 
]the position
]of...",          doesn't need to say it.
]          "The scope of the... " isn't clear.
]Tried to explain better in the new text.
]
]        -  There are issues in the other 2 paragraphs as well.
]Not clear what these are...
]
]        -  First paragraph - should be reworded
]             "One can specify..." -->
]             "A default disabling condition may be..."
]Done. 
]
]---------------------------------------------------------------------- 
] Dmitry_Korchemny - 2007-08-30 05:44  
]---------------------------------------------------------------------- 
]Added VPI diagrams 
]
]---------------------------------------------------------------------- 
] john_havlicek - 2007-09-01 08:08  
]---------------------------------------------------------------------- 
]Proposal default_disable_1648.070830_dk.pdf passed by e-mail ballot on
]2007-08-31, 8y/0n/2a. 
]
]---------------------------------------------------------------------- 
] john_havlicek - 2007-09-06 09:15  
]---------------------------------------------------------------------- 
]Coloring fixed to use red bold in syntax even in a blue 
]colored section. 
]
]---------------------------------------------------------------------- 
] Dmitry_Korchemny - 2007-09-09 07:21  
]---------------------------------------------------------------------- 
]As a byproduct fixed a minor coloring problem in Draft3a:
]
]The semicolon that follows "default clocking clocking_identifier" 
]should be in bold red, as in A.1.4. 
]
]---------------------------------------------------------------------- 
] Neil Korpusik - 2007-09-10 17:29  
]---------------------------------------------------------------------- 
]Sent back to the Technical Committee by the Champions in the 
]July 26, 2007
]conference call.
]Comments from the Champions:
]  - 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 may be other places that could use it as well.
]  - doesn't think everything is being considered.
]    Same properties can have different behavior depending on how used.
]    Top-level versus not top-level (e.g. rule b on first page).
]Set of issues:
]  - The bnf shouldn't be in the text.
]  - 3rd paragraph under syntax box, part about "...on the position
]of...",
]    doesn't need to say it.
]    "The scope of the... " isn't clear.
]  -  There are issues in the other 2 paragraphs as well.
]  -  First paragraph - should be reworded
]       "One can specify..." -->
]       "A default disabling condition may be..." 
]
]---------------------------------------------------------------------- 
] Jim Vellenga - 2007-09-12 08:20  
]---------------------------------------------------------------------- 
]I noticed that the syntax of 'disable iff' allows the expression
]to be an 'expression_or_dist' -- for either the default or the
]explicit version.  I'm not sure what this means, but I also
]notice that the 'dist' part doesn't show up in the VPI object
]models.
]
]Could you all clarify whether the disable can indeed depend
]on a distribution?
]
]Regards,
]Jim Vellenga 
]
]---------------------------------------------------------------------- 
] john_havlicek - 2007-11-06 06:35  
]---------------------------------------------------------------------- 
]2007-11-05:  e-mail ballot failed, 7y/2n/1a. 
]
]Issue History 
]Date Modified   Username       Field                    Change 
]              
]====================================================================== 
]2006-10-24 08:10Dmitry_KorchemnyNew Issue                      
]              
]2006-10-24 08:10Dmitry_KorchemnyFile Added: default_reset.pdf  
]                 
]
]2006-10-24 08:10Dmitry_KorchemnyType                      => 
]Enhancement     
]2006-10-24 08:21shalom         Issue Monitored: shalom         
]             
]2006-10-24 08:24shalom         Status                   new => 
]assigned     
]2006-10-24 08:24shalom         Assigned To               => 
]Dmitry_Korchemny
]2007-02-07 09:26Eduard_Cerny   File Added: 
]default_disable.070129.pdf           
]        
]2007-02-23 08:01Eduard_Cerny   File Added: 
]default_disable_1648.070223.pdf      
]             
]2007-02-25 08:14Eduard_Cerny   File Added: 
]default_disable_1648.070225.pdf      
]             
]2007-02-25 08:14Eduard_Cerny   File Deleted: 
]default_disable_1648.070223.pdf    
]               
]2007-02-25 08:14Eduard_Cerny   File Deleted: 
]default_disable.070129.pdf         
]          
]2007-03-08 08:57Eduard_Cerny   File Added: 
]default_disable_1648.070308.pdf      
]             
]2007-03-08 08:57Eduard_Cerny   Assigned To              
]Dmitry_Korchemny =>
]Eduard_Cerny
]2007-03-20 13:50Eduard_Cerny   File Added: 
]enablingCondition_1737.070320.htm    
]               
]2007-03-28 13:40Eduard_Cerny   File Deleted: 
]enablingCondition_1737.070320.htm  
]                 
]2007-03-29 08:02Eduard_Cerny   File Added: 
]default_disable_1648.070328.pdf      
]             
]2007-04-04 11:10Eduard_Cerny   File Added: 
]default_disable_1648.070404.pdf      
]             
]2007-04-20 16:54Eduard_Cerny   File Added: 
]default_disable_1648.070420.pdf      
]             
]2007-04-20 16:54Eduard_Cerny   File Deleted: default_reset.pdf 
]                 
] 
]2007-04-20 16:54Eduard_Cerny   File Deleted: 
]default_disable_1648.070225.pdf    
]               
]2007-04-20 16:54Eduard_Cerny   File Deleted: 
]default_disable_1648.070308.pdf    
]               
]2007-04-20 16:54Eduard_Cerny   File Deleted: 
]default_disable_1648.070328.pdf    
]               
]2007-04-20 16:54Eduard_Cerny   File Deleted: 
]default_disable_1648.070404.pdf    
]               
]2007-05-02 07:11Eduard_Cerny   File Added: 
]default_disable_1648.070502.pdf      
]             
]2007-05-02 09:04Eduard_Cerny   File Added: 
]default_disable_1648.070502.pdf      
]             
]2007-05-02 09:04Eduard_Cerny   File Deleted: 
]default_disable_1648.070502.pdf    
]               
]2007-06-11 14:33Eduard_Cerny   File Added: 
]default_disable_1648.070611.pdf      
]             
]2007-06-11 14:33Eduard_Cerny   File Deleted: 
]default_disable_1648.070420.pdf    
]               
]2007-06-11 14:34Eduard_Cerny   File Deleted: 
]default_disable_1648.070502.pdf    
]               
]2007-06-12 06:00Eduard_Cerny   File Added: 
]default_disable_1648.070612.pdf      
]             
]2007-06-25 12:50john_havlicek  Note Added: 0003846             
]             
]2007-06-25 12:50john_havlicek  Status                   
]assigned => resolved
]2007-06-25 12:50john_havlicek  Resolution               open 
]=> fixed       
]2007-07-18 13:51Eduard_Cerny   Status                   
]resolved => feedback
]2007-07-18 13:51Eduard_Cerny   Resolution               fixed 
]=> reopened   
]2007-07-18 13:51Eduard_Cerny   Note Added: 0003944             
]             
]2007-07-18 13:51Eduard_Cerny   File Added: 
]default_disable_1648.070718.pdf      
]             
]2007-07-18 13:52Eduard_Cerny   File Deleted: 
]default_disable_1648.070611.pdf    
]               
]2007-07-18 13:52Eduard_Cerny   File Deleted: 
]default_disable_1648.070612.pdf    
]               
]2007-07-18 13:53Eduard_Cerny   Note Added: 0003945             
]             
]2007-07-18 13:53Eduard_Cerny   Status                   
]feedback => resolved
]2007-07-18 13:53Eduard_Cerny   Resolution               
]reopened => fixed   
]2007-08-27 14:09Eduard_Cerny   Status                   
]resolved => feedback
]2007-08-27 14:09Eduard_Cerny   Resolution               fixed 
]=> reopened   
]2007-08-27 14:09Eduard_Cerny   Note Added: 0004187             
]             
]2007-08-27 14:10Eduard_Cerny   File Added: 
]default_disable_1648.070827.pdf      
]             
]2007-08-28 07:41Eduard_Cerny   File Added: 
]default_disable_1648.070828.pdf      
]             
]2007-08-28 07:41Eduard_Cerny   File Deleted: 
]default_disable_1648.070827.pdf    
]               
]2007-08-28 07:46Eduard_Cerny   Note Added: 0004196             
]             
]2007-08-29 00:47Dmitry_KorchemnyFile Deleted: 
]default_disable_1648.070718.pdf   
]                
]2007-08-29 00:48Dmitry_KorchemnyFile Added: 
]default_disable_1648.070829.pdf     
]              
]2007-08-29 13:13john_havlicek  File Deleted: 
]default_disable_1648.070829.pdf    
]               
]2007-08-29 13:13john_havlicek  File Added: 
]default_disable_1648.070829.pdf      
]             
]2007-08-30 05:43Dmitry_KorchemnyFile Added: 
]default_disable_1648.070830_dk.pdf  
]                 
]2007-08-30 05:44Dmitry_KorchemnyNote Added: 0004214            
]              
]2007-09-01 08:08john_havlicek  Note Added: 0004226             
]             
]2007-09-04 12:27Dmitry_KorchemnyFile Deleted: 
]default_disable_1648.070828.pdf   
]                
]2007-09-04 12:29Dmitry_KorchemnyFile Added: 
]default_disable_1648.070904_dk.pdf  
]                 
]2007-09-05 06:24Dmitry_KorchemnyFile Deleted: 
]default_disable_1648.070829.pdf   
]                
]2007-09-05 06:24Dmitry_KorchemnyFile Deleted: 
]default_disable_1648.070904_dk.pdf
]                   
]2007-09-05 06:25Dmitry_KorchemnyFile Added: 
]default_disable_1648.070904_dk.pdf  
]                 
]2007-09-06 09:15john_havlicek  Note Added: 0004271             
]             
]2007-09-06 09:15john_havlicek  Status                   
]feedback => resolved
]2007-09-06 09:15john_havlicek  Resolution               
]reopened => fixed   
]2007-09-09 07:21Dmitry_KorchemnyStatus                   
]resolved => feedback
]2007-09-09 07:21Dmitry_KorchemnyResolution               fixed 
]=> reopened   
]2007-09-09 07:21Dmitry_KorchemnyNote Added: 0004310            
]              
]2007-09-09 07:22Dmitry_KorchemnyFile Added: 
]default_disable_1648.070909_dk.pdf  
]                 
]2007-09-09 07:22Dmitry_KorchemnyFile Deleted: 
]default_disable_1648.070830_dk.pdf
]                   
]2007-09-09 07:24Dmitry_KorchemnyStatus                   
]feedback => resolved
]2007-09-09 07:24Dmitry_KorchemnyResolution               
]reopened => fixed   
]2007-09-10 17:29Neil Korpusik  Status                   
]resolved => feedback
]2007-09-10 17:29Neil Korpusik  Resolution               fixed 
]=> reopened   
]2007-09-10 17:29Neil Korpusik  Note Added: 0004363             
]             
]2007-09-12 08:17Jim Vellenga   Issue Monitored: Jim Vellenga   
]                 
]2007-09-12 08:20Jim Vellenga   Note Added: 0004470             
]             
]2007-10-02 12:33Eduard_Cerny   File Added: 
]1648_default_disable_071001_ec_bt.pdf
]                   
]2007-10-02 12:34Eduard_Cerny   File Deleted: 
]default_disable_1648.070904_dk.pdf 
]                  
]2007-10-03 08:44Bassam Tabbara Note Added: 0004765             
]             
]2007-10-03 14:01Bassam Tabbara Note Deleted: 0004765           
]             
]2007-10-24 08:32Doron_Bustan   Relationship added       
]related to 0001757  
]2007-11-06 06:35john_havlicek  Note Added: 0005114             
]             
]======================================================================
]
]
]-- 
]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.