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.Received on Thu Nov 8 07:09:39 2007
This archive was generated by hypermail 2.1.8 : Thu Nov 08 2007 - 07:09:42 PST