SV-BC Meeting Date: Monday August 20, 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 2020213131010001020211 Day 0639510406295588439514 0000000000000001111000 Month 8877665544433212200998 0000000000000000000000 Year 7777777777777776666666 a-aaaaaaaaaaaa---aaaaa Matt Maidment - Intel aaaaaaaaaaa-aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaaaa-aaaaaaaaaaa Shalom Bresticker - Intel --aaaa-aaa-aaaaaa-aaaa Cliff Cummings - Sunburst Design ---aaa--a-aaaaaaaaaaa- Surrendra Dudani - Synopsys aaaaaaaaaaaaaaaaaaaaaa Mark Hartoog - Synopsys aaaaaa-a-a-aaaaa-a-aaa Francoise Martinolle - Cadence aaaa-a-aaaaa-aaaaaaaaa Karen Pieper - Synopsys aaaaaaaaaaaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaaaaaaaaaaa-aaaa Steven Sharp - Cadence aaa-aaaa-aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics a-a-aaaaaa-aa-a--aaaaa Stu Sutherland - Sutherland HDL aaaaaaa-aaaaa--------- Alex Gran - Mentor Graphics aa--aaaaaa-aa-a-aaaaa- Don Mills - LCDM Engineering a-aaaaa-aaaaaaaaa-aaaa Heath Chambers - Consultant/Trainer a-aaa----------------- Will Cummings - Synplicity aa-------------------- 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 Meetings http://www.eda-stds.org/sv-bc/minutes/sv-bc_07_07_23.txt Heath moves to accept minutes. Gord seconds. No opposed. No abstain. Motion passes. http://www.eda-stds.org/sv-bc/minutes/sv-bc_07_08_06.txt Shalom moves to accept updated minutes. Gord seconds. No opposed. Abstain: Heath (did not attend Aug 6 meeting) Stu (did not attend Aug 6 meeting) Motion passes. + Status of Draft 3 Review Reviewers, please provide brief update on progress No significant updates. Will be dropped from future agendas. + Issues 348 (http://www.eda-stds.org/svdb/view.php?id=348) AI: Matt ask Neil whether 348 is addressed and can be closed or should remain open. SV-BC not in favor of pursuing deprecation at this time. 354 (http://www.eda-stds.org/svdb/view.php?id=354) Brad moves to resolve this with no action as command line switches outside the scope of the standard. Shalom seconds. No opposed. No abstain. Motion passes. AI: Matt For 354 ensure note of resolution states attached proposal was rejected. Rename attached file with "_rejected". 916 (http://www.eda-stds.org/svdb/view.php?id=916) Shalom moves to accept proposal. Mark seconds. No opposed. No abstain. Motion passes. 917 (http://www.eda-stds.org/svdb/view.php?id=917) Shalom moves to accept proposal. Brad seconds. No opposed. No abstain. Motion passes. 933 (http://www.eda-stds.org/svdb/view.php?id=933) AI: Shalom add statement to proposal for 933 identifying that it is an error when expression evaluates to non-positive integral value. 979 (http://www.eda-stds.org/svdb/view.php?id=979) Friendly amendment: swap order of parameter and local_parameter_declaration in package_or_generate_item_declaration Shalom moves to accept with friendly amendment. Brad seconds. No opposed. No abstain. Motion passes. AI: Shalom update proposal with friendly amendment. (Completed during meeting.) 983 (http://www.eda-stds.org/svdb/view.php?id=983) Gord moves to resolve as addressed by the inside operator. Dave seconds. No opposed. No abstain. Motion passes. 1340 (http://www.eda-stds.org/svdb/view.php?id=1340) Shalom moves to accept proposal. Steven seconds. No opposed. No abstain. Motion passes. 1626 (http://www.eda-stds.org/svdb/view.php?id=1626) Shalom moves to resolve issue as already addressed by the editor. Brad seconds. No opposed. No abstain. Motion passes. 1863 (http://www.eda-stds.org/svdb/view.php?id=1863) Feedback: would like to see this as a system function that can be called as a task without error or warning (e.g $cast). Add text stating the return value is the return value of C function system(). AI: Shalom to update proposal for 1863 based on feedback. 1937 (http://www.eda-stds.org/svdb/view.php?id=1937) Friendly amendment, rename 22.2.2.3 to 22.2.2.3 Rules for determining kind, data type and direction of port declarations Friendly amendment to add relationship to 1597 Shalom moves to accept proposal with friendly amendments. Francoise seconds. No opposed. No abstain. Motion passes. AI: Shalom to update proposal for 1937 with friendly amendments 1951 (http://www.eda-stds.org/svdb/view.php?id=1951) AI: Brad to open mantis item to clarify empty argument characterization at beginning or end of an argument list: (, or ,) Gord moves to accept proposal. Shalom seconds. No opposed. No abstain. Motion passes. Time permitting (remainder to be pushed to e-mail vote) Next meeting September 6th, 9-11am PDT or 10th 9-11am 801 (http://www.eda.org/svdb/view.php?id=801) Brad pointed out another bad example at the end of 7.6. Along with bad example in 7.4.6, this needs to be reviewed by the SV-EC to ensure that no intended functionality is lost by striking the examples. Otherwise, perhaps more functionality needs to be defined. AI: Gord raise issue of undefined concat syntax in SV-EC. SV-BC not in favor of syntax. Request that behavior is defined if intent is to keep it. Others to be addressed by e-mail: 910 (http://www.eda.org/svdb/view.php?id=910) 995 (http://www.eda.org/svdb/view.php?id=995) 1025 (http://www.eda.org/svdb/view.php?id=1025) 1031 (http://www.eda.org/svdb/view.php?id=1031) 1061 (http://www.eda.org/svdb/view.php?id=1061) 1155 (http://www.eda.org/svdb/view.php?id=1155) 1203 (http://www.eda.org/svdb/view.php?id=1203) 1217 (http://www.eda.org/svdb/view.php?id=1217) 1285 (http://www.eda.org/svdb/view.php?id=1285) 1485 (http://www.eda.org/svdb/view.php?id=1485) 1651 (http://www.eda.org/svdb/view.php?id=1651) 1665 (http://www.eda.org/svdb/view.php?id=1665) 1693 (http://www.eda.org/svdb/view.php?id=1693) 1938 (http://www.eda.org/svdb/view.php?id=1938) 1939 (http://www.eda.org/svdb/view.php?id=1939) 1940 (http://www.eda.org/svdb/view.php?id=1940) 1941 (http://www.eda.org/svdb/view.php?id=1941) 1955 (http://www.eda.org/svdb/view.php?id=1955) 1958 (http://www.eda.org/svdb/view.php?id=1958) 1963 (http://www.eda.org/svdb/view.php?id=1963) 1964 (http://www.eda.org/svdb/view.php?id=1964) Name resolution: should there be a face-to-face on this in September? Gord to send mail requesting participation in mid-September. Logistics will be tackled once sufficient participation identified. 11:00am: Meeting adjourned. Action Items Complete 07/23/2007 Brad update proposal for SVDB 1090 with friendly amendment 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 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. 08/20/2007 Matt ask Neil whether 348 is addressed and can be closed or should remain open. SV-BC not in favor of pursuing deprecation at this time. 08/20/2007 Matt For 354 ensure note of resolution states attached proposal was rejected. Rename attached file with "_rejected". 08/20/2007 Shalom add statement to proposal for 933 identifying that it is an error when expression evaluates to non-positive integral value. 08/20/2007 Shalom to update proposal for 1863 based on feedback. 08/20/2007 Shalom to update proposal for 1937 with friendly amendments 08/20/2007 Brad to open mantis item to clarify empty argument characterization at beginning or end of an argument list: (, or ,) 08/20/2007 Gord raise issue of undefined concat syntax in SV-EC. SV-BC not in favor of syntax. Request that behavior is defined if intent is to keep it. 08/20/2007 Gord send e-mail requesting participation in name resolution face-to-face meeting