SV-BC Committee Meeting Date: Monday, December 18, 2006 Time: 09:00am-11:00am PDT Toll Free Dial In Number: (888)635-9997 International Access/Caller Paid Dial In Number: (763)315-6815 PARTICIPANT CODE: 53904 1020211 Day 8439514 1111000 Month 2200998 0000000 Year 6666666 --aaaaa Matt Maidment - Intel aaaaaaa Brad Pierce - Synopsys aaaaaaa Shalom Bresticker - Intel aa-aaaa Cliff Cummings - Sunburst Design aaaaaa- Surrendra Dudani - Synopsys aaaaaaa Mark Hartoog - Synopsys a-a-aaa Francoise Martinolle - Cadence aaaaaaa Karen Pieper - Synopsys aaaaaaa Dave Rich - Mentor Graphics aa-aaaa Steven Sharp - Cadence aaaaaaa Gordon Vreugdenhil - Mentor Graphics ---aa-a Doug Warmke - Mentor Graphics --aaaaa Stu Sutherland - Sutherland HDL a-aaaaa Logie Ramachandran - Synopsys -aaaaa- Don Mills - LCDM Engineering ------a Rishiyur Nikhil - Bluespec aa-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_10_23.txt Cliff moves to accept the minutes. Mark seconds. No Opposed. Motion passes. + Resolve date of next SV-BC conference call Next Meeting Date: Was January 15, 2006, but revised to January 8, 2006 because of MLK Day. See http://www.eda-stds.org/sv-bc/hm/5433.html + F2F at DVCon Francoise suggests scheduling a face-to-face meeting during week of DVCon. Suggestion met with general approval. To permit travel arrangements, date and time to be finalized by Jan. 15, 2006. + Update on tentative P1800 schedule for 2007 Karen discusses likely scheduling changes for P1800 that would tend to give more time for development. + Issues for Voting SVDB 1607 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001607) import of a forward typedef Dave moves to accept the proposal for 1607. Gord Seconds. No opposed. Motion passes. SVDB 1644 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001644) 12.3.5: bad indentation Shalom moves to accept the proposal for 1644. Cliff Seconds. No opposed. Motion passes. SVDB 1388 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001388) SDF source ports can be inout, but not input (16.2.4) Karen moves to accept the proposal for 1388. Cliff Seconds. No opposed. Motion passes. SVDB 1499 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001499) 1364 12.3.4: awkward text Shalom moves to accept the proposal for 1499. Cliff Seconds. No opposed. Motion passes. SVDB 1351 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001351) 12.4.3: endtask should not have ; Shalom moves to accept the proposal for 1351. Cliff Seconds. No opposed. Motion passes. SVDB 1689 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001689) Return type of $bits() Shalom moves to resolve 1689 as a duplicate of 919. Cliff Seconds. No opposed. Motion passes. SVDB 1484 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001484) Package declarations should not refer to $unit Dave moves to accept the proposal for 1484. Gord Seconds. No opposed. Motion passes. SVDB 1198 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001198) Support a container to define how to interface to a set of signals. Shalom moves to close 1198 as already resolved in P1800 standard. Cliff Seconds. No opposed. Motion passes. SVDB 1200 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001200) Provide an assertion statement with the capability to use industry standard property specification. Shalom moves to close 1200 as already resolved in P1800 standard. Cliff Seconds. No opposed. Motion passes. SVDB 1153 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001153) parameterized task/function extensions Shalom moves to resolve 1153 as a duplicate of 696. Steven Seconds. No opposed. Motion passes. SVDB 1505 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001505) 4.8.1: "edge descriptors" inaccurate term Shalom moves to accept the proposal for 1505. Cliff Seconds. No opposed. Motion passes. SVDB 1468 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001468) always_latch has same restrictions as always_comb (11.3) Shalom moves to resolve 1468 as a duplicate of 225. Steven Seconds. No opposed. Motion passes. + Discussion of SVDB 1345 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001345) 10.4: "illegal" unique if/case issues AI: Gord -- open Mantis item about expressibility/flexibility problems of unique case AI: Cliff -- open Mantis item about 'predefault' with compelling examples + 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