SV-BC Committee Meeting Date: Monday, May 14, 2007 Time: 09:00am-11:00am PDT 131010001020211 Day 406295588439514 000000001111000 Month 544433212200998 000000000000000 Year 777777776666666 aaaaaaa---aaaaa Matt Maidment - Intel aaaa-aaaaaaaaaa Brad Pierce - Synopsys aaa-aaaaaaaaaaa Shalom Bresticker - Intel aaa-aaaaaa-aaaa Cliff Cummings - Sunburst Design -a-aaaaaaaaaaa- Surrendra Dudani - Synopsys aaaaaaaaaaaaaaa Mark Hartoog - Synopsys a-a-aaaaa-a-aaa Francoise Martinolle - Cadence aaaaa-aaaaaaaaa Karen Pieper - Synopsys aaaaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaaaa-aaaa Steven Sharp - Cadence a-aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aaa-aa-a--aaaaa Stu Sutherland - Sutherland HDL -aaaaa--------- Alex Gran - Mentor Graphics aaa-aa-a-aaaaa- Don Mills - LCDM Engineering -aaaaaaaaa-aaaa Heath Chambers - Consultant/Trainer ------aa---aa-a Doug Warmke - Mentor Graphics --------------a Rishiyur Nikhil - Bluespec --------a-aaaaa 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-stds.org/sv-bc/minutes/sv-bc_07_04_30.txt Stu moves to accept minutes as posted. Dave seconds. No opposed. No abstain. Motion passes. + Next Meeting: May 30th: 9am-11am PDT + Plan for Review of Draft 3 Policy for submitting issues to Mantis or directly to editor 1. Ok to file every issue in Mantis. Process to ensure completion. 2. Can submit very minor issues directly to editor and copy Matt & Brad: - Spelling errors - Punctuation errors - Grammatical errors - Font errors - Cross reference errors - Missing index items and/or page references 3. Editor can refuse edit request & request Mantis submission Shalom has suggested review of cross-references. Reviewers, when reviewing your assigned clause, please pay special attention to these. Prioritize clauses 20 and 22 because no significant merge had been done until Draft 3. Stu requests review of recently submitted SV-BC edits. Also need to address editor questions in Margin Revisit Draft 2 Plan http://www.eda-stds.org/sv-bc/1800_2008_Review.xls High Priority issues assigned. AI: Matt to post assignments for Draft 3 review. Move resolved issues that have changes to feedback status. Require a vote once updated. AI: Matt to update these issues in SVDB. + Issues ready for vote 154 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0000154) AI: Cliff to assign to himself, add a bugnote with your plans. 1143 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001143) Inconsistent information about size of integer constant. Clause 5.7.1 says at least 32 bits and table 11-23 says an unsized constant in a self-determined context is the size of an integer, which is defined as 32-bits. AI: Steven to file Mantis item. 1788 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001788) Shalom moves to accept the attached proposal. Cliff seconds. No opposed. No abstain. Motion passes. 1641 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001641) (Did not have time to address this issue) + 10:54AM Cliff moves to adjourn Action Items Complete 04/26/2007 Matt post approved issues for 1800-2008 Draft 3 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 09/25/2006 Matt add SVDB entry to request capability to packages: import/export & non-exported (local) package declarations. 10/09/2006 Brad: enhance 1554 proposal to prevent circularity of expressions (address use or non-use of hierarchical references). 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 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. 02/05/2007 Matt to send list of issues targeted for March 15 resolution 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. 03/19/2007 Cliff send e-mail to Karen regarding SVDB account 04/26/2007 All file remaining draft 2 issues to SVDB 04/26/2007 Matt: update old 'resolved' Mantis items to point new draft sections. 04/26/2007 All: Revisit concept of memory in Draft 3 05/14/2007 Matt to update these issues in SVDB. 05/14/2007 Matt to post assignments for Draft 3 review.