SV-BC Meeting Date: Monday, March 3, 2008 Time: 09:00am-11:00am PST Toll Free Dial In Number: 1-866-675-1568 International Access/Caller Paid Dial In Number: 1-281-540-4972 PARTICIPANT CODE: 2125837662 01020121210102020213131010001020211 Day 38417002951760639510406295588439514 00000111111000000000000000001111000 Month 32211211000998877665544433212200998 00000000000000000000000000000000000 Year 88888777777777777777777777776666666 aaaaaaaaaaaaaa-aaaaaaaaaaaa---aaaaa Matt Maidment - Intel aa-aaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaaa Shalom Bresticker - Intel aaaaaaaaa-a-a--aaaa-aaa-aaaaaa-aaaa Cliff Cummings - Sunburst Design aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys a-aa-aaa-aaaaaaaaaa-a-a-aaaaa-a-aaa Francoise Martinolle - Cadence aaa-aaa-aaaaaaaaa-a-aaaaa-aaaaaaaaa Karen Pieper - Tabula a-a-aaa-aaaaaaaaaaaaaaaaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaaaaaa-aaaaaaaaaaaaaaaaa-aaaa Steven Sharp - Cadence aaaaaaaaaaaaaaaa-aaaa-aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aa-aaaaaaaaaaa-a-aaaaaa-aa-a--aaaaa Stu Sutherland - Sutherland HDL aaaaaaaaaaaaaaaaaaaa-aaaaa--------- Alex Gran - Mentor Graphics aaaaaaa-aaaaaaa--aaaaaa-aa-a-aaaaa- Don Mills - LCDM Engineering aaaa-aaaaa-aaa-aaaaa-aaaaaaaaa-aaaa Heath Chambers - Consultant/Trainer aaa-aaaaaaaaaaa-------------------- Tom Alsop - Intel ----aaaaaaa------------------------ Mike Burns - Freescale 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_02_18.txt Cliff moves to accept the minutes. Heath seconds. No opposed. No abstain. Motion passes. + E-mail ballot results Pass 1526 (http://www.eda.org/svdb/view.php?id=1526) 1709 (http://www.eda.org/svdb/view.php?id=1709) 2008 (http://www.eda.org/svdb/view.php?id=2008) Stu adamant that violations be errors. Brad: Would like to see terminology made consistent to violation report. Editor's note meant to cover this but something may be missed. Editor supported this. AI: SV-BC to review Draft 5 to ensure SVDB 2008's "violation report" added correctly AI: Tom update proposal for SVDB 2008 and add clarifying sentence per Doug AI: Tom update proposal for SVDB 2008 with Shalom's amendments. AI: Tom update 2131 per violation terminology introduced by SVDB 2008 NOTE: In Mantis 2131, the following text "If the keyword unique0 is used, there shall be no a warning if no condition is matched." should be "If the keyword unique0 is used, there shall be no warning if no condition is matched." AI: Doug work with Tom on clarification of simulation semantics in SVDB 2008 1769 (http://www.eda.org/svdb/view.php?id=1769) Shalom's concerns addressed by latest proposal. Tom now approves. AI: Doug's comments for SVDB 1769 need follow-up from SV-AC. Doug will send follow-up e-mail. Stu received feedback from implementors that these features are acceptable and withdrew his opposition. AI: Matt to submit new e-mail vote for 1769 once a new proposal from AC has arrived. 2089 (http://www.eda.org/svdb/view.php?id=2089) Gord's concerns for this proposal have been addressed. Stu is concerned that too many new keywords are being introduced by checkers, but these are not introduced by 2089. Checkers span several SVDB entries. Concern that SV-BC not seeing full impact of this feature. SV-BC to review set of Mantis items covering checkers. Concerned with feature interaction and number of keywords. See items related to 1900 that have 'checker' in the title. Gord moves to Send note to AC, Champions and WG that BC will be reviewing checker related mantis items. BC would like to review the checker feature as there are concerns with interoperability with other features, based on review of 2089. Steven seconds. Opposed: Brad (if AC or 1800 WG wants feedback, they should ask for it) Abstain: Mark (unsure of correct procedure) Tom (working on 2008) Motion passes. AI: Matt send mail on outcome of vote on SVDB 2089 Dave: Latest version of 1900 has not been reviewed by Champions. Shalom: Has come to Champions via e-mail vote. Some changes requested and incorporated. Went back to AC & approved. Next step is Champions. Gord: Assuming there is a full list of Mantis items, then BC should review them. Gord looking for: Does the LRM define the behavior? Are there enough issues that the feature not viable for the long-term. During Mar 17 meeting, decide date for last meeting in March: Tue 25th or wed 26th. AI: Matt add to agenda. + Other Issues 1111 (http://www.eda.org/svdb/view.php?id=1111) AI: Matt will add to e-mail ballot. 1809 (http://www.eda.org/svdb/view.php?id=1809) Shalom: difficult for users to understand. Gord: needed for implementers. If a section needed to help users, that should be added. Francoise: a simpler form could make it more problematic. In favor of current direction. Francoise will make another attempt. 677 (http://www.eda.org/svdb/view.php?id=677) Can SV-BC take action if 2008 is resolved? AI: Vote during March 17 meeting. Brad moves to resolve as duplicate of 2008 Cliff seconds. Opposed: Stu (feels violation should be errors) No abstain. Motion passes. 1829 (http://www.eda.org/svdb/view.php?id=1829) AI: Matt Change examples to use simpler variable names and add to e-mail vote. 1465 (http://www.eda.org/svdb/view.php?id=1465) Shalom asked if any disagreement with deleting example for module mh4 from 22.2.2.3. AI: Shalom to send e-mail when proposal complete. 2269 (http://www.eda.org/svdb/view.php?id=2269) 1800 WG has granted permission to address by EOMarch. Any takers? 2251 (http://www.eda.org/svdb/view.php?id=2251) Pending readiness 2235 (http://www.eda.org/svdb/view.php?id=2235) Gord does not have time to generate proposal 11:00am Cliff 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- E-mail Ballot 1829 - 6.8 usually logic [31:0] would be little endian. - Need more info 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- feedback 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 - assigned (Karen) Apr 15, 2005 - closed with resolution of "no change required". Reopened for 2008 and now in the assigned state. 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 Dropped 02/04/2008 Gord to update proposal for 2235 pending Neil's approval Completed 02/04/2008 Shalom update Mantis with new item(s) raised by resolution of 1340 02/18/2008 Tom: Update SVDB 2008 per feedback from meeting 02/18/2008 Matt: Send e-mail ballot for SVDB 1526, 1709, 2089, 1769 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 Stu reword proposal for SVDB 1111 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. 10/29/2007 Steven to work on new proposal for SVDB 1750 12/03/2007 Review editorial issues submitted by Shalom 02/04/2008 Shalom will follow-up with Greg Jaxon on 2269 02/18/2008 Tom: Update 1345 by replacing 'warning' with 'violation' 03/03/2008 SV-BC review Draft 5 to ensure SVDB 2008's "violation report" added correctly 03/03/2008 Tom update proposal for SVDB 2008 and add clarifying sentence per Doug 03/03/2008 Tom update proposal for SVDB 2008 with Shalom's amendments. 03/03/2008 Tom update 2131 per violation terminology introduced by SVDB 2008 03/03/2008 Doug work with Tom on clarification of simulation semantics in SVDB 2008 03/03/2008 Doug's comments for SVDB 1769 need follow-up from SV-AC. Doug will send follow-up e-mail. 03/03/2008 Matt to submit new e-mail vote for 1769 once a new proposal from SV-AC has arrived. 03/03/2008 Matt send mail on outcome of vote on SVDB 2089 03/03/2008 Matt add agenda item to determine date of final March SV-BC meeting: Tue, Mar 25 or Wed, Mar 26. 03/03/2008 Matt add SVDB 1111 to e-mail ballot 03/03/2008 Matt Change examples in 1829 to use simpler variable names and add to e-mail vote. 03/03/2008 Shalom to send e-mail when proposal for 1465 complete. Schedule Reminder 02/28/08 SV-AC freezes (merge, champions issues, new syntax response ok) 03/31/08 SV-CC freeze. All activity freezes. 05/29/08 Draft 5 of LRM available