SV-BC Committee Meeting Date: Monday, April 30, 2007 Time: 09:00am-11:00am PDT 31010001020211 Day 06295588439514 00000001111000 Month 44433212200998 00000000000000 Year 77777776666666 aaaaaa---aaaaa Matt Maidment - Intel aaa-aaaaaaaaaa Brad Pierce - Synopsys aa-aaaaaaaaaaa Shalom Bresticker - Intel aa-aaaaaa-aaaa Cliff Cummings - Sunburst Design a-aaaaaaaaaaa- Surrendra Dudani - Synopsys aaaaaaaaaaaaaa Mark Hartoog - Synopsys -a-aaaaa-a-aaa Francoise Martinolle - Cadence aaaa-aaaaaaaaa Karen Pieper - Synopsys aaaaaa-aaaaaaa Dave Rich - Mentor Graphics aaaaaaaaa-aaaa Steven Sharp - Cadence -aa-a-aaaaaaaa Gordon Vreugdenhil - Mentor Graphics aa-aa-a--aaaaa Stu Sutherland - Sutherland HDL aaaaa--------- Alex Gran - Mentor Graphics aa-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. Note the patent policy will be updated on May 1st. + Review Minutes of Previous Meeting http://www.eda-stds.org/sv-bc/minutes/sv-bc_07_04_16.txt Heath moves to accept the minutes. Shalom seconds. No opposed. No abstain. Motion passes. + Continue Review of Ballot Issues Email Ballot: http://www.eda-stds.org/sv-bc/hm/5852.html Description: http://www.eda-stds.org/sv-bc/hm/5851.html http://www.eda-stds.org/sv-bc/hm/5853.html SB1-1-3 Stu moves to accept as originally proposed. Shalom seconds. No opposed. No abstain. Motion passes. SB1-6-1 Stu moves to accept Shalom's proposal. Change: "6.1 Value set SystemVerilog makes a distinction between an object and its data type. A data type is a set of values and a set of operations that can be performed on those values. Data types can be used to declare data objects or to define user-defined data types that are constructed from other data types. A data object is a named entity that has a data value associated with it, such as a parameter, a variable, or a net. 6.1.1 Logic values" TO "6.1 Data types and data objects SystemVerilog makes a distinction between an object and its data type. A data type is a set of values and a set of operations that can be performed on those values. Data types can be used to declare data objects or to define user- defined data types that are constructed from other data types. A data object is a named entity that has a data value associated with it, such as a parameter, a variable, or a net. 6.2 Value set 6.2.1 Logic values" Heath seconds. No opposed. No abstain. Motion passes. SB1-6-3 Stu moves to have a two-sentence paragraph in 6.14 as a forward reference to 7.6 and moving existing 6.14 text into 7.6. Shalom seconds. No opposed. No abstain. Motion passes. SB1-7-1 Shalom moves to accept original proposal. Stu seconds. No opposed. No abstain. Motion passes. SB1-7-2 Stu moves to accept original proposal Shalom seconds. Opposed: Cliff (unnecessary change at this time) Brad (likes organization as-is) Dave (likes organization as-is) Abstain: Karen (not enough thought) Don (no preference For: Stu, Shalom, Surrendra, Alex, Mark, Heath Motion passes. SB1-12-1 Stu moves to accept original proposal. Shalom seconds. No opposed. No abstain. Motion passes. SB1-16-1 Stu proposes to move clause 16.15 to clause 22. Shalom seconds. No opposed. No abstain. Motion passes. SB1-19-1 Stu moves to accept original proposal. Shalom seconds. No opposed. No abstain. Motion passes. SB1-20-1 Shalom moves to accept original proposal. Heath seconds. Opposed: Cliff (follows previous order. No reason to change without Mantis) Abstain: Stu (not necessary, but no opposed. ogical to have in either place) Steven (no time to review) Mark (ambivalent about the change) Alex (ambivalent about the change) For: Shalom, Heath, Brad, Karen, Dave, Surrendra, Done Motion Passes. BP1-6-2 Brad moves to accept original proposal. Cliff seconds. No opposed. No abstain. Motion passes. BP1-6-5 Action already taken by editor. BP1-6-6 Brad moves to remove editor question. Cliff seconds. No opposed. No abstain. Motion passes. BP1-7-1 Brad moves to accept: "An element of the unpacked dimension in the array is known as a memory element or word" Stu seconds. No opposed. No abstain. Motion passes. AI: Revisit concept of memory in Draft 3 BP1-7-4 Defer to MH-1 MH-1 Mark moves to accept the following proposal: A structure represents a collection of data types that can be referenced as a whole or the individual data types that make up the structure can be referenced by name. By default, structures are unpacked, meaning that there is an implementation-dependent packing of the data types. Unpacked structures can contain any data type. Brad seconds No opposed. No abstain. Motion passes. MH-2 Mark moves to accept the following proposal: A union is a data type that represents a single piece of storage which can be accessed using one of the named member data types. Only one of the data types in the union can be used at a time. By default, a union is unpacked, meaning there is no required representation for how members of the union are stored. Dynamic types and chandle types can only be used in tagged unions. Brad seconds. No opposed. No abstain. Motion passes. BP1-12-1 Brad moves: In 12.3, remove the sentence "Pessimism reduction can also be done using unique-case priority-case (see 12.3.3)." Shalom seconds. No opposed. No abstain. Motion passes. BP1-13-1 Shalom moves to accept amended proposal: In 13.1 and 13.3 remove the sentence "A function shall have at least one input type argument" and remove the editorial question in the margin. Cliff seconds. No opposed. No abstain. Motion passes. BP1-13-3 Brad moves to accept the folling changes: In 13.3, replace "A function declaration can include an optional function_data_type or packed_dimension range, which shall specify the type or size of value returned by the function. A function specified without a function_data_type or packed_dimension defaults to a scalar logic for the return value. If a packed_dimension is specified, the function shall return a packed array of type logic." with "To indicate the return type of a function, its declaration can either include an explicit function_data_type or use an implicit syntax that indicates only the ranges of the packed dimensions and, optionally, the signedness. When the implicit syntax is used, the return type is the same as if the implict syntax had been immediately preceded by the logic keyword. In particular, the implicit syntax can be empty, in which case the return type is a logic scalar." Shalom seconds. No opposed. No abstain. Motion passes. HC-D-1 & HC-E-1 Heath moves original proposals. Stu seconds. No opposed. No abstain. Motion passes. Editor's attention was called to: http://www.eda-stds.org/sv-bc/hm/5865.html 10:58am Cliff moved to adjourn meeting. Meeting adjourned + Issues ready for vote (Placeholder until Draft 3 is complete) 1749 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001749) 1762 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001762) 1064 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001064) 1101 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001101) 1143 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001143) 1562 (http://www.eda-stds.org/svdb/bug_view_page.php?bug_id=0001562) Action Items Completed 03/19/2007 Heath send e-mail to Karen regarding SVDB account 03/19/2007 Don send e-mail to Karen regarding draft 2 password 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 Matt post approved issues for 1800-2008 Draft 3 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