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

Thank you.

Regards,
Jim V.

--------------------------------------------------------- 
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: Bresticker, Shalom [mailto:shalom.bresticker@intel.com] 
]Sent: Thursday, November 08, 2007 10:09 AM
]To: Jim Vellenga; sv-ac@eda.org
]Cc: SV-CC
]Subject: RE: [sv-cc] RE: [SystemVerilog P1800 0001648]: 
]Default reset for assertions
]
]Yes, but an email vote passes only if unaminous.
]In a conference call, a majority is enough.
]
]Shalom 
]
]> -----Original Message-----
]> From: owner-sv-cc@server.eda.org 
]> [mailto:owner-sv-cc@server.eda.org] On Behalf Of Jim Vellenga
]> Sent: Thursday, November 08, 2007 5:06 PM
]> To: sv-ac@server.eda.org
]> Cc: SV-CC
]> Subject: [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.
]> 
]---------------------------------------------------------------------
]Intel Israel (74) Limited
]
]This e-mail and any attachments may contain confidential material for
]the sole use of the intended recipient(s). Any review or distribution
]by others is strictly prohibited. If you are not the intended
]recipient, please contact the sender and delete all copies.
]

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