Minutes of the November 24, 2003 SV-BC Meeting (Design Modeling Committee) 21121211 Day 47073958 11111000 Month 11100998 00000000 Year 33333333 ----------a Tom Kiley - Mentor a-aaaa--aaa Matt Maidment - Intel -aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaaa-a Karen Pieper - Synopsys a-aaaa---aa Johny Srouji - Intel a--aa-aaaaa Dan Jacobi - Intel aaaaaaaaaaa Dave Rich - Synopsys aaaa-aa-aaa Francoise Martinolle- Cadence a-aaaa-aa-a Jay Lawrence - Cadence ---aaaaaaa- Dennis Brophy - Mentor ------a--a- Vassilios Gerousis - Infineon aa-aa-aaa-- Cliff Cummings - Sunburst Design aaaaaaaaa-- Mark Hartoog - Synopsys -----a--a-- Don Mills - LCDM Engineering -aa--aa---- Doug Warmke - Mentor aaaaaaa---- Rishiyur Nikhil - Bluespec --a-a-a---- Stu Sutherland - Sutherland HDL- a-aaa------ Peter Flake - Synopsys Meeting Minutes: ================ Karen moves that we accept the minutes of 11/17/03. Dave seconds. No opposed. No abstain. Passes. ------------------------------------- Action Items from the Last Meeting -------------------------------------- ==> Dave to check with the EC that issue 49 will work with classes. Done. They saw no issue. ==> Johny to send mail to Adam indicating that he needs to make a proposal for issue 76 if he wants it to be addressed. Done. Pending a reply from Adam Karen moves that we move issue 76 to the deferred state. Matt seconds. No opposed. No abstain. Passes. Johny to communicate this back to Adam. ==> Nikhil to add an example for issue 75 In progress -- will be done this week ==> Johny to raise issue 62 with the SV-AC. Done. Waiting for an update. ==> Scope resolution to a static member and package scope resolution will have a conflict -> will pass it to EC Karen will take the action to dig up where this came from. ==> Jay: an Errata to propose on the compilation unit (syntactical mechanism) Not done. ==> Dave: to remove the methods version of the array querying extensions and merge the $type proposal. Need to put more language/definition regarding dynamically sized and fixed sized types Proposal ready, can discuss later in this meeting. ==> Dave to provide an errata on the "inside operator" proposal Done ==> Peter to modify Operator overloading proposal to fix: changing the syntax of function to bind fixing the typo in the struct definition under 7.16 from "bit [3:0] exponent' to "bit [3:0] exponent; " correct the BNF Done. The changes were more than this, so Karen put it in the proposal state. ==> Nikhil to modify his proposal based on comments received from BC and put it back for approval. May consider splitting between tagged unions and pattern matching proposals. Nikhil is working with David Smith. Nikhil will fix issues raised in review, and send out another version. ==> Brad to make a new proposal for issue 61 Done. ==> Brad to update the BNF references to interface_instance_identifier to something else. ____________________ Issues ____________________ 49: Karen moves that we accept the proposal for 49. Peter seconds. No opposed. No abstain. Passes. Dave: We need to open an errata. For commutative operators like + -, the ordering of the arguments is also commutative. Nikhil pointed out that not all arithmetics will be commutative. String concatenation for example. Dave agreed that we didn't need to open an issue. 61: Danny moves that we accept it. Karen seconds. No opposed. No abstain. Passes. 62: This is the result of a review by Danny. There is concensus that we need to add more attributes, but it is unclear how much we have concensus to change. Karen moves that we defer this to the next release. Dave seconds. No opposed. No abstain. Passes. 70: Dave moves we accept this proposal. Karen seconds. No opposed. No abstain. Passes. 74: Karen moves we close this issue. Matt seconds. No opposed. No abstain. Passes. 82: Friendly ammendment: A type is either singular or aggregate. A singular type shall be defined as any built-in data type except an unpacked structure, an unpacked union or an unpacked array. Integral types are always singular. An aggregate type shall be any type whose top level type is an unpacked structure, an unpacked union, or an unpacked array (See section 4.2 packed and unpacked arrays). Jay proposes that we list out the members of the two classes. Dave will create a new proposal incorporating Jay's proposal. 103: Dave moves that we accept this proposal. Karen seconds. No opposed. No abstain. Passes. 106: Karen moves we close this issue. Dave seconds. No opposed. No abstain. Passes. 108: Karen moves we close this issue as a duplicate of 95. DAve seconds. No opposed. No abstain. Passes. 109: Dave moves that we close this issue. Karen seconds. No opposed. No abstain. Passes. Johny will let Joao know that we have closed this issue. 110: We need a proposal that also makes this section also support programs and interfaces. Karen will remove the proposal and this issue can go back to the open state. 113: Mark moves that we accept this proposal. Karen seconds. No opposed. No abstain. Passes. 120: Karen moves that we accept this proposal. Peter seconds. No opposed. No abstain. Passes. 121: This proposal does not include coverage groups. Perhaps we need wording that generalizes this approach for all argument lists of this form. The rules of typematching have to match those for module instantiation. Johny will let Adam know that the proposal is incomplete, and give him a chance to make an update. 125: Karen moves that we accept this proposal. Danny seconds. No opposed. No abstain. Passes. 127: Mark moves the following change: Replace the sentence in 3.9: User-defined type names must be used for complex data types in casting (see Section 3.14, below), and as parameters. With: User-defined type names must be used for complex data types in casting (see Section 3.14 below), which only allows simple type names, and as type parameter values when unpacked array types are used. Peter seconds. No opposed. Danny abstains. Passes. Action Items for the next meeting _________________________________ ==> Johny to send mail to Adam indicating that he needs to make a proposal for issue 76 if he wants it to be addressed. Done. Pending a reply from Adam Karen moves that we move issue 76 to the deferred state. Matt seconds. No opposed. No abstain. Passes. Johny to communicate this back to Adam. ==> Nikhil to add an example for issue 75 In progress -- will be done this week ==> Johny to raise issue 62 with the SV-AC. Done. Waiting for an update. ==> Scope resolution to a static member and package scope resolution will have a conflict -> will pass it to EC Karen will take the action to dig up where this came from. ==> Jay: an Errata to propose on the compilation unit (syntactical mechanism) Not done. ==> Dave: to remove the methods version of the array querying extensions and merge the $type proposal. Need to put more language/definition regarding dynamically sized and fixed sized types Proposal ready, can discuss later in this meeting. ==> Nikhil to modify his proposal based on comments received from BC and put it back for approval. May consider splitting between tagged unions and pattern matching proposals. Nikhil is working with David Smith. Nikhil will fix issues raised in review, and send out another version. ==> Brad to update the BNF references to interface_instance_identifier to something else. ==> Johny will let Joao know that we have closed issue 109. ==> Karen will return 110 to the open state removing the proposal. ==> Johny will let Adam know that the proposal for 121 is incomplete, and give him a chance to make an update. Our next meeting is 12/05/03 at 9am Pacific.