SV-BC Meeting Date: Tuesday, March 25, 2008 Time: 08:00am-09:30am PDT Toll Free Dial In Number: 1-866-675-1568 International Access/Caller Paid Dial In Number: 1-281-540-4972 PARTICIPANT CODE: 2125837662 2101020121210102020213131010001020211 Day 5738417002951760639510406295588439514 0000000111111000000000000000001111000 Month 3332211211000998877665544433212200998 0000000000000000000000000000000000000 Year 8888888777777777777777777777776666666 aaaaaaaaaaaaaaaa-aaaaaaaaaaaa---aaaaa Matt Maidment - Intel aaaa-aaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaaa Shalom Bresticker - Intel aaaaaaaaaaa-a-a--aaaa-aaa-aaaaaa-aaaa Cliff Cummings - Sunburst Design aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys aaa-aa-aaa-aaaaaaaaaa-a-a-aaaaa-a-aaa Francoise Martinolle - Cadence aaaaa-aaa-aaaaaaaaa-a-aaaaa-aaaaaaaaa Karen Pieper - Tabula aaa-a-aaa-aaaaaaaaaaaaaaaaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaaaaaaaa-aaaaaaaaaaaaaaaaa-aaaa Steven Sharp - Cadence aaaaaaaaaaaaaaaaaa-aaaa-aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics -aaa-aaaaaaaaaaa-a-aaaaaa-aa-a--aaaaa Stu Sutherland - Sutherland HDL -aaaaaaaaaaaaaaaaaaaaa-aaaaa--------- Alex Gran - Mentor Graphics aaaaaaaaa-aaaaaaa--aaaaaa-aa-a-aaaaa- Don Mills - LCDM Engineering aaaaaa-aaaaa-aaa-aaaaa-aaaaaaaaa-aaaa Heath Chambers - Consultant/Trainer aaaaa-aaaaaaaaaaa-------------------- Tom Alsop - Intel ------aaaaaaa------------------------ Mike Burns - Freescale a-aa-aaa-aaa----------------aa---aa-a Doug Warmke - Mentor Graphics ---------------a-aaa----------------- Will Cummings - Synplicity -----------a-a----aaa--a-aaaaaaaaaaa- Surrendra Dudani - Synopsys -------------a----------------------- Greg Jaxon - Synopsys ----a-------------------------------- Sachi Bhat - Synopsys Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt Reviewed. + Review Minutes of Previous Meetings http://www.eda.org/sv-bc/minutes/sv-bc_08_03_17.txt Cliff moves to accept the minutes as posted. Heath seconds. No opposed. No abstain. Motion passes. + E-mail Vote Review results of e-mail vote that closes 8am, Tuesday, March 25. Covers issues 1465, 1769 and 2269 Pass 1465 (http://www.eda.org/svdb/view.php?id=1465) Fail 2269 (http://www.eda.org/svdb/view.php?id=2269) Committee reviewed issues raised by Cliff, Steven and Stu were found them to be addressed by the current proposal. Gord moves to accept the proposal. Shalom seconds No opposed. No abstain. Motion passes. 1769 (http://www.eda.org/svdb/view.php?id=1769) Shalom moves: Agreement that elaboration and run-time $fatal have the same syntax. For the elaboration $fatal, the finish_number could be used in an implementation-specific manner. If the SV-AC addresses this issue, then final approval of 1769 can be addressed by the Champions. Steven seconds. No opposed. No abstain. Motion passes. + Other Issues 2316 (http://www.eda.org/svdb/view.php?id=2316) Shalom created this "master master issue. Its children are master issues for themes of issues. Examples include: generate, text macros, etc. If others would like to suggest new master issues, please contribute. Feedback issues related to 2106 (http://www.eda.org/svdb/view.php?id=2106) 2304 (http://www.eda.org/svdb/view.php?id=2304) Shalom moves to accept proposal. Brad seconds. No opposed. No abstain. Motion passes. 2334 (http://www.eda.org/svdb/view.php?id=2334) Shalom raised at Champions level. Shalom now withdraws the objection. Shalom moves to resolve 2334 with no action required. Brad seconds. No opposed. No abstain. Motion passes. 1809 (http://www.eda.org/svdb/view.php?id=1809) Francoise moves to accept proposal with friendly amendment change references to 22.6 to 22.7, 22.7 to 22.8 and a reference from 22.7 to 22.7.1 in the sentence that starts "If the identifier is a function or ..." Gord seconds. No opposed. No abstain. Motion passes. AI: Francoise to update proposal for 1809 with friendly amendments. 2089 (http://www.eda.org/svdb/view.php?id=2089) Matt will post bug note regarding previous motion. No further action at this time. 2251 (http://www.eda.org/svdb/view.php?id=2251) Gord moves to accept proposal with friendly amendment "location is searched" to "locations are searched" Shalom seconds. No opposed. No abstain. Motion passes. AI: Matt open new Mantis item to capture need for defining more precisely what is searched and when it is searched. Resolution of this new issue should align these mechanisms with similar features in "C". Notify Doug know so he can upload an e-mail on the topic. 2235 (http://www.eda.org/svdb/view.php?id=2235) Brad moves to accept proposal. Gord seconds. No opposed. Abstain: Shalom (the term indexed select is misleading) Francoise (Unsure if this is an improvement) Motion passes. Next meeting April 14, 2008 Merge issues may be raised and addressed in the interim. 9:23am PDT: Karen moves to adjourn JEITA 1826 - Annex B Add keyword list by LRM version - Resolved 1827 - 20.3.1 Update the OS Reference - Resolved 1828 - 9.2.2.3, 9.2.2.4 should/can and mandatory statements- Resolved 1829 - 6.8 usually logic [31:0] would be little endian. - Resolved 1832 - path rule/scope rule is not clearly described here. - Assigned to Gord Ballot Issues 675 - Packed union shall not be restricted to equal length- Resolved Apr 15, 2005 - closed with resolution of "no change required". SV-BC resolved with no action Jan 21, 2008. 676 - Add support of unconstraint arrays - feedback Apr 15, 2005 - closed with resolution of "no change required". Reopened for 2008 and now in the feedback state. 678 - Variables shall be allowed for slicing vectors. - feedback Apr 15, 2005 - closed with resolution of "no change required". Reopened for 2008 and now in the feedback state. 697 - file IO tasks and new SV data types - feedback May 10, 2005 - closed with resolution of "won't fix". Reopened for 2008 and now in the feedback state. 677 - unique/priority violation should be errors - Resolved Apr 15, 2005 - closed with resolution of "no change required". SV-BC resolved as a duplicate of 2008. 698 - No Definition of Error and Warning - assigned (Stu) May 10, 2005 - closed with resolution of "won't fix". Reopened for 2008 and now in the feedback state. Action Items Completed 03/17/2008 Matt add 1465 to e-mail ballot and review during next meeting. 03/17/2008 Matt add 1769 to e-mail ballot 02/04/2008 Shalom will follow-up with Greg Jaxon on 2269 06/11/2007 Stu reword proposal for SVDB 1111 10/29/2007 Steven to work on new proposal for SVDB 1750 Pending 01/09/2006 Shalom file new issure related to SVDB 1254 and include example 03/27/2006 Cliff post examples demonstrating the need for 0-1 wildcard to justify further action on SVDB 99 Other ideas: elsex, defaultx, ifx, alwaysx, initialx, Question: what about X expression in index of Vector or array expressions (a[i] where i === 'X). Cliff to pursue further action. 04/10/2006 Steven to create proposal for SVDB 1386 04/10/2006 Steven to create proposal for SVDB 1078 06/19/2006 Francoise check with SV-CC regariding suitability of data read API to address debugging of "dynamic data" in lieu of vcd extensions. 07/10/2006 Steve add bugnote to 1043 about specifics for resolution 07/31/2006 Steve add bug note to 1481 with details for a clearer proposal 09/25/2006 Matt add SVDB entry to request capability to packages: import/export & non-exported (local) package declarations. 10/23/2006 Matt send example of use of forward typedef. 12/04/2006 Shalom present compelling example of `begin_define -- `end_define 12/18/2006 Cliff open Mantis item about 'predefault' with compelling examples 01/08/2007 Vendors to describe interpretation of a path when there are multiple drivers involved and share test cases on reflector. 03/05/2007 ALL look at SV-AC items and send Matt a note if you require more information to address them. Matt will work with SV-AC to get additional information. 04/26/2007 All: Revisit concept of memory in Draft 3 Affects PLI backward compatibility and readmem system tasks. After some discussion, ambivalence gave way to agreement that arrays and memories as covered in 7.4 need to be revisited for clarification. SVDB 1362 covers this issue. Dave will start working on it. 06/11/2007 Mark attempt to define 'variation' to aid resolution of SVDB 1850 06/25/2007 Gord add new SVDB entry and proposal to address expression sizing issues for literals of unspecified widths. 06/25/2007 Steve look into ability to use 1800 types with old-style port decls 08/06/2007 Steven to record concerns about issues related to issue 1935. 10/01/2007 Shalom to update SVDB 1747 based on feedback. 12/03/2007 Review editorial issues submitted by Shalom 03/03/2008 SV-BC review Draft 5 to ensure SVDB 2008's "violation report" added correctly 03/03/2008 Matt send mail on outcome of vote on SVDB 2089 03/17/2008 Steven open a new mantis item to request specification of what happens to queued violation reports when process is disabled 03/25/2008 Francoise to update proposal for 1809 with friendly amendments. 03/25/2008 Matt update proposal for 2251 with friendly amendment. 03/25/2008 Matt open new Mantis item to capture need for defining more precisely what is searched and when it is searched for `include. Resolution of this new issue should align these mechanisms with similar features in "C". Notify Doug know when issue submitted so Doug can upload an e-mail on the topic. Schedule Reminder 03/31/08 SV-CC freeze. All activity freezes. 05/29/08 Draft 5 of LRM available