SV-BC Meeting Date: Monday August 6, 2007 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 020213131010001020211 Day 639510406295588439514 000000000000001111000 Month 877665544433212200998 000000000000000000000 Year 777777777777776666666 -aaaaaaaaaaaa---aaaaa Matt Maidment - Intel aaaaaaaaaa-aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaaa-aaaaaaaaaaa Shalom Bresticker - Intel -aaaa-aaa-aaaaaa-aaaa Cliff Cummings - Sunburst Design --aaa--a-aaaaaaaaaaa- Surrendra Dudani - Synopsys aaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys aaaaa-a-a-aaaaa-a-aaa Francoise Martinolle - Cadence aaa-a-aaaaa-aaaaaaaaa Karen Pieper - Synopsys aaaaaaaaaaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaaaaaaaaaa-aaaa Steven Sharp - Cadence aa-aaaa-aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics -a-aaaaaa-aa-a--aaaaa Stu Sutherland - Sutherland HDL aaaaaa-aaaaa--------- Alex Gran - Mentor Graphics a--aaaaaa-aa-a-aaaaa- Don Mills - LCDM Engineering -aaaaa-aaaaaaaaa-aaaa Heath Chambers - Consultant/Trainer -aaa----------------- Will Cummings - Synplicity a-------------------- Tom Alsop - Intel ------------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_07_23.txt Deferred until Aug. 16, 2007. + Issues 1945 (http://www.eda.org/svdb/view.php?id=1945) Gord moves to accept proposal. Mark seconds No opposed. No abstain. Motion passes. 1291 (http://www.eda.org/svdb/view.php?id=1291) Left open. 1935 (http://www.eda.org/svdb/view.php?id=1935) Shalom moves to accept proposal. Dave seconds. No opposed. No abstain. Motion passes. AI: Steven to record concerns about issues related to issue 1935. 1860 (http://www.eda.org/svdb/view.php?id=1860) Shalom moves to resolve 1860 as a duplicate of 1935. Mark seconds. No opposed. No abstain. Motion passes. 1794 (http://www.eda.org/svdb/view.php?id=1794) Shalom moves to accept proposal with friendly amendment: Simplify final clause to " interfaces are never implicitly instantiated" Steven seconds. No opposed. No abstain. Motion passes. Shalom immediately updated the proposal for SVDB 1794 with friendly amendment 1957 (http://www.eda.org/svdb/view.php?id=1957) Steven moves to accept proposal with friendly amendment: Remove statement saying that actual arguments have leading and trailing white space stripped off before substitution into macro text Shalom seconds. No opposed. No abstain. Motion passes. Shalom immediately updated the proposal for SVDB 1957 with friendly amendment 1745 (http://www.eda.org/svdb/view.php?id=1745) Shalom moves to accept proposal. Don seconds. No opposed. No abstain. Motion passes. 1743 (http://www.eda.org/svdb/view.php?id=1743) Dave moves to resolve 1743 as a duplicate of 331, because scope of 331 extended to cover 1743. Shalom seconds. No opposed. No abstain. Motion passes. 331 (http://www.eda.org/svdb/view.php?id=331) After extended discussion and feedback regarding nulls in format strings and the phrase cast to string, Dave uploads revised proposal during meeting before vote. Dave moves to accept proposal. Gord seconds. No opposed. Shalom abstains because of insufficient time to fully consider all of the detailed changes of this proposal. Motion passes. AI: Dave to review string in merged document to see where it ought to be string literal or string datatype. Prompted by discussion of 331 but review is to be of entire merged document. 917 (http://www.eda.org/svdb/view.php?id=917) Shalom withdraws current proposal. 1864 (http://www.eda.org/svdb/view.php?id=1864) Shalom moves to accept proposal with friendly amendment: Change The types logic and reg to "The keywords logic and reg" Mark seconds. No opposed. No abstain. Motion passes. Shalom immediately updated the proposal for SVDB 1864 with friendly amendment AI: Shalom to open Mantis item saying that the LRM should clearly say in one place all the lexical restrictions on using 'reg' in place of 'logic'. Don leads discussion about a potential enhancement, desired by his customers, of being able to parameterize configurations. Gord warns that there are still some unresolved issues about configurations and that parameters would be a substantial enhancement. AI: Don to initiate reflector discussion about parameterizing configurations. 10:59 AM: Motion to adjourn For a future meeting: + Issues 1939 (http://www.eda.org/svdb/view.php?id=1939) + Cliff's case statement syntax Left the discussion with interest in a parallel but not full case modifier. If someone has a proposal about this, we can review. Action Items Complete 07/09/2007 Shalom proposal for SVDB 1119 to include friendly amendment 07/09/2007 Matt update proposal for SVDB 1341 with friendly amendment 08/06/2007 Shalom to add Mantis item saying LRM should clearly say in one place all the lexical restrictions on using 'reg' in place of 'logic'. Completed via item 1965. 08/06/2007 Don to initiate reflector discussion about parameterizing configurations. Completed by http://www.eda-stds.org/sv-bc/hm/6431.html . 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 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 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. 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: 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 Stu reword proposal for SVDB 1111 06/11/2007 Matt notify SV-AC to update 1641 to system task/function section 06/11/2007 Mark attempt to define 'variation' in context of resolving 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 07/23/2007 Brad update proposal for SVDB 1090 with friendly amendment 08/06/2007 Steven to record concerns about issues related to issue 1935. 08/06/2007 Dave to review string in merged document to see where it ought to be string literal or string datatype. Prompted by discussion of 331 but review is to be of entire merged document.