SV-BC Committee Meeting Date: Monday, January 8, 2007 Time: 09:00am-11:00am PST Toll Free Dial In Number: (888)635-9997 International Access/Caller Paid Dial In Number: (763)315-6815 PARTICIPANT CODE: 53904 01020211 Day 88439514 01111000 Month 12200998 00000000 Year 76666666 ---aaaaa Matt Maidment - Intel aaaaaaaa Brad Pierce - Synopsys aaaaaaaa Shalom Bresticker - Intel aaa-aaaa Cliff Cummings - Sunburst Design aaaaaaa- Surrendra Dudani - Synopsys aaaaaaaa Mark Hartoog - Synopsys aa-a-aaa Francoise Martinolle - Cadence aaaaaaaa Karen Pieper - Synopsys -aaaaaaa Dave Rich - Mentor Graphics aaa-aaaa Steven Sharp - Cadence aaaaaaaa Gordon Vreugdenhil - Mentor Graphics a---aa-a Doug Warmke - Mentor Graphics a--aaaaa Stu Sutherland - Sutherland HDL -a-aaaaa Logie Ramachandran - Synopsys a-aaaaa- Don Mills - LCDM Engineering -------a Rishiyur Nikhil - Bluespec aaa-aaaa Heath Chambers - Consultant/Trainer Agenda + Review IEEE patent policy http://standards.ieee.org/board/pat/pat-slideset.ppt Reviewed. + Review Minutes of Previous Meeting http://www.eda.org/sv-bc/minutes/sv-bc_06_12_18.txt Cliff moves to accept the minutes. Heath seconds. No Opposed. Motion passes. + Discuss suggested SV-BC F2F at DVCon It was decided that there would be no SV-BC face-to-face at DVCon. However, Dmitry Korchemny of Intel and SV-AC will be giving an important presentation at the P1800 face-to-face about several enhancement requests that he is making to SV-BC.  (These enhancement requests were originally motivated by the needs of SVA.) The P1800 face-to-face will be at Mentor near the San Jose airport on Tuesday, Febrary 20, 10-1 PDT.  It will be followed by an SV-EC face-to-face until 5.   + Issues for Voting SVDB 1257 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001257) 14.5 Driving wired logic: error in Fig 14-6? No vote. AI: Vendors to describe interpretation of a path when there are multiple drivers involved and share test cases on reflector. SVDB 1708 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001708) $period check should support max and output, not just min and input After some group discussion of the background of the issue, including noting that there is no active SDF committee Cliff moves that the issue will be considered if there is a formal proposal. Shalom seconds. No opposed. Motion passes. SVDB 1710 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001710) 15.3.5: $period error No vote, but consensus was that Shaloms proposal was on the right track. SVDB 1280 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001280) Wrong replication example at end of 3.8 Shalom moves to accept the proposal for 1280. Cliff Seconds. No opposed. Motion passes. SVDB 1666 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001666) 3.8: error in structural literal example Shalom moves to accept the proposal for 1666. Cliff Seconds. No opposed. Motion passes. SVDB 1497 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001497) delete mention of macromodules Cliff moves to accept the proposal for 1497. Heath Seconds. No opposed. Motion passes. + Adjourn Cliff moves to adjourn + Issue Review Process: Identify subset of issues to focus committee effort Assign owners for the issues Owners bring issues to vote when draft of proposal complete Rebuttal to issues should come in the form of specific changes to proposal Guidelines for issues: - Group would prefer not to address issues that complicate merging of the LRMs or require edits to both specs. Group would prefer to address more isolated errata until next PAR is set. - Try to clarify intent of some issues even if no formal resolution. This would be useful for keeping implementations consistent. - Major Severity will be used to identify issues that if not addressed will lead to visibly different implementations. - Group will use severity to quantify impact of change. Issues will be addressed in order of severity. - Priority will indicate issue's development progress. Increase in priority indicates increased progress to proposal and vote. 'Immediate' priority indicates issue is ready for a vote. - Individuals will indicate ownership of resolution by adding themselves to the 'assigned to' field. Karen will help anyone who cannot update an issue. - Individual members can increase the severity of an issue but the group must agree to decrease severity. - Status Filed: Assigned, Resolved & Closed are key states. Issue Themes Namespaces Issues: 30, 1213, 1214, 1220 Primary Owner: Francoise Participants: Gord, Francoise, Mark, cc: Shalom, cc: Karen I/O Errata/Clarification Issues: 672, 1078, 1386: Steven ; 988: Gord Primary Owner: Steven Participants: Steven, Gord, Mark, Francoise Enumerated Types Issues: 916, 917, 1429 Primary Owner: Matt Configurations Issues: 986 (see bugnote for related items) Primary Owner: TBD (proposed as Cliff but he was not present) Scheduling Issues: 1290, 219 Primary Owner: TBD (Gord; after first round of issues are addressed) Compiler Directives Issues: 1052, 1053, 1084, 1119, 1202, 1292, 1333, 1338, 1339, 1341 Primary Owner: Shalom Name Resolution Primary Owner: Gord Participants: Francoise, Steven, Mark, Shalom. Action Items Complete 06/19/2006 Dave to draw up some guidelines about thread creation from functions for SV-BC to vote/capture consensus and pass along to other committees. (Transferred to SV-EC.) 10/09/2006 Shalom: add an additional mantis to enable parameters with dynamic data types Pending 01/09/2006 Shalom add example for issue 1254 describing situation for rule 3 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 05/22/2006 Gord file issue regarding scoping & forward visibility in $unit. 06/19/2006 Gord raise the issue of support of dynamic data in vcd to SV-EC. 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 08/14/2006 Matt to forward request for timely updates to 1800 standard to 1800 committee and offer Dave's name if seeking participants to enable. 09/25/2006 Matt add SVDB entry to request capability to packages: import/export & non-exported (local) package declarations. 09/25/2006 Matt send feedback to sv-bc/sv-ac regarding SVDB 1601 10/09/2006 Gord/Dave: draft proposal to resolve SVDB 1484 10/09/2006 Brad: enhance 1554 proposal to prevent circularity of expressions (address use or non-use of hierarchical references). 10/23/2006 Dave will add text and legal and illegal examples to clarify issues covered by SVDB 1607 10/23/2006 Matt send example of use of forward typedef. 10/23/2006 Brad move SVDB 1609 to SV-EC 12/04/2006 Shalom to present compelling example of `begin_define -- `end_define 12/18/2006 Gord open Mantis item about expressibility/flexibility problems of unique case 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.