SV-BC Errata Committee Meeting Date: Monday, March 13, 2006 Time: 09:00am-11:00am PST 10000 Day 36957 00011 Month 32121 00000 Year 66655 aaaaa Matt Maidment - Intel aaaaa Brad Pierce - Synopsys aaaaa Shalom Bresticker - Intel aaaaa Cliff Cummings - Sunburst Design -a-aa Surrendra Dudani - Synopsys aaaaa Mark Hartoog - Synopsys -aaaa Dan Jacobi - Intel aaa-a Francoise Martinolle - Cadence aaaaa Karen Pieper - Synopsys aaaaa Dave Rich - Mentor Graphics a-aaa Steven Sharp - Cadence aaaaa Gordon Vreugdenhil - Mentor Graphics aaaaa Doug Warmke - Mentor Graphics --aa- Don Mills - LCDM Engineering aaaa- Stu Sutherland - Sutherland HDL ---a- Bill Paulsen - Cadence -a-a- Rishiyur Nikhil - Bluespec -aa-- Chris Spear - Synopsys -aa-- Logie Ramachandran - Synopsys 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_02_06.txt Stu moves to approve minutes Cliff seconds No opposed No abstain Motion passes + E-mail ballot review An e-mail ballot was sent January 30th: http://www.eda.org/sv-bc/hm/3802.html Review the results including any issues receiving 'no' votes Pass: 871,881,908,912,932,941,942,944,945,952,961,984,1092,1159,1253,1260,1261 298 Fail: http://www.eda.org/svdb/bug_view_page.php?bug_id=0000882 Cliff: http://www.eda.org/sv-bc/hm/3853.html Cliff moves to update line as: var real y [0:1] = '{0.0, 1.1}, z [0:9] = '{default: 3.1416}; Stu seconds No opposed No abstain Motion passes. AI: Brad update proposal for SVDB 882 http://www.eda.org/svdb/bug_view_page.php?bug_id=0000911 Cliff: http://www.eda.org/sv-bc/hm/3853.html Stu: http://www.eda.org/sv-bc/hm/3871.html (supports Cliff's proposal) Stu moves to accept amended proposal Cliff seconds No opposed No abstain Motion passes http://www.eda.org/svdb/bug_view_page.php?bug_id=0000919 Cliff: http://www.eda.org/sv-bc/hm/3853.html Francoise: http://www.eda.org/sv-bc/hm/3826.html Shalom: http://www.eda.org/sv-bc/hm/3828.html Stu moves to accept proposal Dave seconds No opposed No abstain Motion passes http://www.eda.org/svdb/bug_view_page.php?bug_id=0000946 Cliff: http://www.eda.org/sv-bc/hm/3853.html Cliff moves to accept proposal as amended Stu seconds No opposed No abstain Motion Passes http://www.eda.org/svdb/bug_view_page.php?bug_id=0000949 Cliff: http://www.eda.org/sv-bc/hm/3853.html Mark: http://www.eda.org/sv-bc/hm/3834.html Francoise: http://www.eda.org/sv-bc/hm/3826.html Cliff moves to accept changes for 949 Stu seconds No opposed No abstain Motion Passes AI: Brad to post amended proposal for SVDB 949 per Cliff Stu moves to added 'signed' keyword to the declaration of busA Mark seconds No opposed No abstain Motion passes AI: Brad amend proposal for SVDB 949 by adding signed keyword to busA decl http://www.eda.org/svdb/bug_view_page.php?bug_id=0000962 Cliff: http://www.eda.org/sv-bc/hm/3853.html Shalom: http://www.eda.org/sv-bc/hm/3858.html Stu moves to accept Cliff seconds No opposd No abstain Motion passes http://www.eda.org/svdb/bug_view_page.php?bug_id=0001138 Shalom: http://www.eda.org/sv-bc/hm/3812.html Cliff moves to accept ammended Stu seconds No opposed No abstain Motion passes http://www.eda.org/svdb/bug_view_page.php?bug_id=0001255 Shalom: http://www.eda.org/sv-bc/hm/3812.html Cliff: http://www.eda.org/sv-bc/hm/3853.html Steven: http://www.eda.org/sv-bc/hm/3863.html AI: Doug one last pass to finish off inconsistencies related to 1255 (e.g Table 8-2) Capture: From inside module: port; from parent scope: terminal AI: Shalom email doug with specific changes to close SVDB 1255 http://www.eda.org/svdb/bug_view_page.php?bug_id=0001297 Stu: http://www.eda.org/sv-bc/hm/3871.html Shalom: http://www.eda.org/sv-bc/hm/3872.html Doug moves to close this item as addressed in 1364 Gordon seconds No opposed No abstain Motion passes Brad has provided analysis here: http://www.eda.org/sv-bc/hm/4069.html + Review Mantis #966 The SV-AC has requested that the SV-BC provide feedback on the proposal for issue 966: http://www.eda.org/sv-ac/hm/2004.html http://www.eda.org/svdb/bug_view_page.php?bug_id=0000966 Shalom has provided some initial feedback here: http://www.eda.org/sv-bc/hm/4142.html AI: Gord send a summary of issues related to '$' to SV-EC & SV-AC summary: Parameter assigned to $ can only be used in $isunbounded function, use in context where unbounded is valid or pass to another parameter. Feedback specifically for proposal in 966: inaccurate: "constant_param_expression is unbounded" Suggestion: "Does this parameter denote $" + Other Issue http://www.eda.org/sv-bc/hm/4161.html Dave moves to close SVDB 998 Brad seconds No Opposed No abstain Motion passes Dave moves to close SVDB 999 Stu seconds For: Francoise, Mark, Doug, Gordon Opposed: Steven (no issue for index in SV-BC), Shalom(no issue for index in SV-BC), Brad(no issue for index in SV-BC) Karen (leave it the way it is) AI: Open up SV-BC Issue requesting an index for P1800 AI: Matt send note to P1800 about index and need for review + Top-N Issues Appropriate for SV-BC Process: Identify -=N=- 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. Please identify issues that meet the above guidelines and send them to the reflector so we can continue to make progress. + Proposed Next Meeting Date: March 27th Action Items Completed 02/06/2006 Matt close on committee agreed feedback for next PAR by Feb 17 03/13/2006 Gord send a summary of issues related to '$' to SV-EC & SV-AC See: http://www.eda.org/sv-bc/hm/4191.html Pending 12/05/2005 Steven Ask Jay if issue 1127 is resolved in P1800? 01/09/2006 Shalom add example for issue 1254 describing situation for rule 3 01/09/2006 Matt assemble issue list for future work 01/09/2006 Matt find owners for future work issues 03/13/2006 Brad update proposal for SVDB 882 03/13/2006 Brad to post amended proposal for SVDB 949 per Cliff 03/13/2006 Brad amend proposal for SVDB 949 by adding signed keyword to busA decl 03/13/2006 Doug one last pass to finish off inconsistencies related to 1255 (e.g Table 8-2) Capture: From inside module: port; from parent scope: terminal 03/13/2006 Shalom email doug with specific changes to close SVDB 1255 03/13/2006 Matt Open up SV-BC Issue requesting an index for P1800 03/13/2006 Matt send note to P1800 about index and need for review