SV-BC Meeting Date: Monday, July 21, 2008 Time: 9:00am-11:00am PDT Toll Free Dial In Number: 1-866-675-1568 International Access/Caller Paid Dial In Number: 1-281-540-4972 PARTICIPANT CODE: 2125837662 20201212101020121210102020213131010001020211 Day 17322845738417002951760639510406295588439514 00000000000000111111000000000000000001111000 Month 77665443332211211000998877665544433212200998 00000000000000000000000000000000000000000000 Year 88888888888888777777777777777777777776666666 a-aaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaaaa---aaaaa Matt Maidment - Intel aaaaaaaaaaa-aaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa-aaaaaaaaaaa Shalom Bresticker - Intel -aa--aaaaaaaaaaaaa-a-a--aaaa-aaa-aaaaaa-aaaa Cliff Cummings - Sunburst Design a-aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys aaaaa--aaa-aa-aaa-aaaaaaaaaa-a-a-aaaaa-a-aaa Francoise Martinolle - Cadence --aaa--aaaaa-aaa-aaaaaaaaa-a-aaaaa-aaaaaaaaa Karen Pieper - Tabula aaaaaaaaaa-a-aaa-aaaaaaaaaaaaaaaaaaa-aaaaaaa Dave Rich - Mentor Graphics -aaaaaaaaaaaaaaaaaaaa-aaaaaaaaaaaaaaaaa-aaaa Steven Sharp - Cadence aaaaaaaaaaaaaaaaaaaaaaaaa-aaaa-aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aaaaaaa-aaa-aaaaaaaaaaa-a-aaaaaa-aa-a--aaaaa Stu Sutherland - Sutherland HDL -aaaaaa-aaaaaaaaaaaaaaaaaaaaa-aaaaa--------- Alex Gran - Mentor Graphics a-aaaaaaaaaaaaaa-aaaaaaa--aaaaaa-aa-a-aaaaa- Don Mills - LCDM Engineering ---aaaaaaaaaa-aaaaa-aaa-aaaaa-aaaaaaaaa-aaaa Heath Chambers - Consultant/Trainer aaaaaaaaaaaa-aaaaaaaaaaa-------------------- Tom Alsop - Intel -------------aaaaaaa------------------------ Mike Burns - Freescale -------a-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-stds.org/sv-bc/minutes/sv-bc_08_07_07.txt Stu moves to accept. Shalom seconds. No opposed. No abstain. Motion passes. + PAR deadline is end of July Per Neil's mail: http://www.eda.org/sv-bc/hm/8861.html SV-BC items need to be resolved by the end of July. Are there any other outstanding issues? Does the BC need to meet next week? + Issues 2448 (http://www.eda.org/svdb/view.php?id=2448) 2374 allowed packed arrays of enums but did not omitted BNF change to enable declaration directly in enum. Proposal addresses omission. Stu moves to accept the proposal. Shalom seconds. No opposed. No abstain. Motion passes. 1809 (http://www.eda.org/svdb/view.php?id=1809) Dave updated proposal to address feedback from editor. SV-BC reviewed proposal and provided feedback: This change did not sufficiently capture that only 1 of the conditions specified under the following header needs to be met: "An identifier is locally visible at some point within a scope if that identifier:" Dave added an "or" to each item. The wording: "If a match is found among the potentially locally visible identifiers" would be better phrased as: "If a match is found first from among the potentially locally visible identifiers ..." Dave updated and uploaded a new proposal. Dave moves to accept updated proposal. Stu seconds. No opposed. Abstain: Shalom (did not have enough time to review proposal) 9:36am: Dave moves to adjourn. Next meeting will be scheduled as needed. Need will be driven either by an urgent request to address an issue to meet the end of July deadline or in response to feedback from Champions (meeting July 24 and Aug 7). Look for announcement on reflector. Next LRM draft due September 11. Completed SV-BC issues will need to be reviewed at that time. Action Items 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 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. 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 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. 12/03/2007 Review editorial issues submitted by Shalom 03/17/2008 Steven open a new mantis item to request specification of what happens to queued violation reports when process is disabled 04/14/2008 Tom create a new Mantis item regarindg 7.4.3, to clarify exactly which array types are covered by these capabilities. Strings are not included. SVDB 1447 touches on this. 04/28/2008 Matt create Mantis item suggesting text identified in question 11-2 be deleted or integrated elsewhere. 04/28/2008 Matt file Mantis to add cross-reference to 6.21 to 10.6.1 04/28/2008 Matt 10.6.1 should be extended to include member selects per question Mantis 2099, 10-2. File Mantis. 04/28/2008 Matt file Mantis to add cross-reference to 6.21 to 10.6.2 04/28/2008 Matt 10.6.2 should be extended per question 10-3. File Mantis. 06/02/2008 Don to file new Mantis item for question 32-1 in Mantis 2099 and bring a proposal to the meeting. 06/28/2008 Stu to add reference to I.13 in Annex C