Cliff, To add to Surrendra and Ed's list, my personal favorite from the assertion category is the clarification for disable iff construct at the end of 16.12. This eliminates confusion in situations when the disable condition changes at the same time as the leading clock of the assertion. Thanks, Samik From: owner-sv-ac@eda.org [mailto:owner-sv-ac@eda.org] On Behalf Of Eduard Cerny Sent: Thursday, May 30, 2013 10:08 AM To: Clifford E. Cummings (cliffc@sunburst-design.com) Cc: sv-ac@eda.org; sv-bc@eda.org; sv-cc@eda.org; sv-ec@eda.org; sv-dc@eda.org; IEEE P1800 Working Group (ieee1800@eda.org); Surrendra Dudani; Eduard Cerny Subject: [sv-ac] RE: DAC Presentation of SV-2012 Enhancements - Cliff requests your input Hello Cliff, we think that the following enhancements in the assertion category are of particular interest 1) The "checker" construct that is now much more flexible and powerful than before, and will be the preferred encapsulation for building SVA checker libraries. Clause 17 in the LRM. 2) The new assertion control system task $assertcontrol that unifies control of all kinds of assertions and becomes more powerful and useful than the existing fragmented control tasks. Clause 20.12. 3) The semantics of "global clocking" have been modified to become more flexible when defining clocks for SoC consisting of various IP's and glue logic, each having its specific global clock. Clause 14.14. Best regards Surrendra and Ed From: owner-sv-dc@eda.org<mailto:owner-sv-dc@eda.org> [mailto:owner-sv-dc@eda.org] On Behalf Of Bresticker, Shalom Sent: Wednesday, May 29, 2013 1:50 PM To: sv-ac@eda.org<mailto:sv-ac@eda.org>; sv-bc@eda.org<mailto:sv-bc@eda.org>; sv-cc@eda.org<mailto:sv-cc@eda.org>; sv-ec@eda.org<mailto:sv-ec@eda.org>; sv-dc@eda.org<mailto:sv-dc@eda.org>; IEEE P1800 Working Group (ieee1800@eda.org<mailto:ieee1800@eda.org>) Cc: Clifford E. Cummings (cliffc@sunburst-design.com<mailto:cliffc@sunburst-design.com>) Subject: [sv-dc] FW: DAC Presentation of SV-2012 Enhancements - Cliff requests your input Hi, Cliff Cummings asked me to forward this. Shalom From: Clifford E. Cummings [mailto:cliffc@sunburst-design.com] Sent: Wednesday, May 29, 2013 20:46 To: Bresticker, Shalom Subject: DAC Presentation of SV-2012 Enhancements - Cliff requests your input Hi, All - I have been asked to give a short SystemVerilog-2012 update presentation at DAC. Stu Sutherland has already done a nice update last year at DAC but I would like to take a slightly different approach while sill acknowledging and referencing his DAC presentation. I would like to gather input from as many SystemVerilog-2012 committee members as a I can regarding your favorite SystemVerilog-2012 enhancements. I would suggest that you email me with your five favorite enhancements (feel free to send fewer or more than five favorites). Everyone that sends me a small list of favorites will be acknowledged and thanked in my presentation, which will eventually go into the public domain and will also be posted on my web page. Time is short! All I need is a list of your favorite enhancements, preferably by the end of day on Friday, but you get extra credit for the following: (1) Why each enhancement is on your favorites list. (2) Any examples that show why the enhancement is cool! (3) Reference to specific section numbers of the IEEE 1800-2012 LRM. This is your chance to highlight enhancements that you as a committee member felt was important to the Design and Verification community. Thanks in advance for you short (or extended) feedback. If anybody has a complete list of the enhancements that was compiled separate from Stu's list, you get double-extra credit! Regards - Cliff -- Cliff Cummings - Sunburst Design, Inc. 1639 E. 1320 S., Provo, UT 84606 - 801-960-1996- cliffc@sunburst-design.com<mailto:cliffc@sunburst-design.com> / www.sunburst-design.com<http://www.sunburst-design.com> World Class Verilog, SystemVerilog & OVM/UVM Training --------------------------------------------------------------------- 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<http://www.mailscanner.info/>, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner<http://www.mailscanner.info/>, and is believed to be clean. -- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Thu May 30 07:48:29 2013
This archive was generated by hypermail 2.1.8 : Thu May 30 2013 - 07:48:35 PDT