Minutes of the November 17, 2003 SV-BC Meeting (Design Modeling Committee) 1121211 Day 7073958 1111000 Month 1100998 0000000 Year 3333333 ---------a Tom Kiley - Mentor -aaaa--aaa Matt Maidment - Intel aaaaaaaaaa Brad Pierce - Synopsys aaaaaaaa-a Karen Pieper - Synopsys -aaaa---aa Johny Srouji - Intel --aa-aaaaa Dan Jacobi - Intel aaaaaaaaaa Dave Rich - Synopsys aaa-aa-aaa Francoise Martinolle- Cadence -aaaa-aa-a Jay Lawrence - Cadence --aaaaaaa- Dennis Brophy - Mentor -----a--a- Vassilios Gerousis - Infineon a-aa-aaa-- Cliff Cummings - Sunburst Design aaaaaaaa-- Mark Hartoog - Synopsys ----a--a-- Don Mills - LCDM Engineering aa--aa---- Doug Warmke - Mentor aaaaaa---- Rishiyur Nikhil - Bluespec -a-a-a---- Stu Sutherland - Sutherland HDL- -aaa------ Peter Flake - Synopsys Meeting Minutes: ================ Doug moves that we accept the minutes from the last meeting. Mark seconds. Brad, Cliff abstain. Passes. ------------------------------------- Action Items from the Last Meeting -------------------------------------- ==> Dave to check with the EC that issue 49 will work with classes. Not done. ==> 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 ==> Nikhil to add an example for issue 75 In progress -- will be done by next week ==> Johny to raise issue 62 with the SV-AC. Not done. Will be done this week. ==> Mark to make a proposal for issue 69. Done ==> Karen to correct the date on the top of sv-bc meeting mintues of Oct 27 to Oct 27. Done ==> Scope resolution to a static member and package scope resolution will have a conflict -> will pass it to EC ==> Jay: an Errata to propose on the compilation unit (syntactical mechanism) ==> Dave: to remove the methods version of the array querying extensions and merge the $type proposal. Nee to put more language/definition regarding dynamically sized and fixed sized types ==> Doug needs to make few modifications to his proposal before voting on it -- Done ==> Dave to provide an errata on the "inside operator" proposal ==> 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 ==> 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. ==> Karen to check with David Smith on finding someone from the language experts to work with Nikhil on his proposal Done ____________________ Issues ____________________ 44: Brad moves that we accept the proposal. Nikhil seconds. No opposed. No abstain. Passes. 49: Waiting for an update from Peter 53: Waiting for a proposal from David Rich 54: Cliff may withdraw his proposal at some point in the future. The proposal needs to be withdrawn. 61: Brad indicates that the proposal needs to be updated. He will take the action item. The proposal needs to be withdrawn. 62: We'll look at this one when Danny is at the meeting. 67: Doug moves that we accept this proposal. Nikhil seconds. No opposed. No abstain. Passes. 115: Brad moves that we accept this proposal. Mark seconds. No opposed. No abstain. Passes. 69: Mark moves that we accept this proposal. Brad seconds. No opposed. No abstain. Passes. 81: Update the proposal to include the BNF in the email on from Dave Rich on 11/15/03 at 14:11:56. Dave moves that we approve the proposal as modified. Dave moves. Brad seconds. No opposed. No abstain. Passes. Dave indicated that there is a statement in the enum declaration about suing sizes to determine sizes, and there is another statement in conflict with this. Also if there is an enum with a size after some enum labels are seen, the labels have to be readjusted. Dave is considering disallowing this style of declaration. Dave will file an issue and make a proposal. There is a second issue that we need to clarify that integers in SV are 32 bits. Specifically in table 3.1 70: Discuss next week. 71: Nikhil to make a new proposal. Karen to move this back to the committed state until a proposal arrives. 76: We are waiting for a proposal from Adam. 87: Brad moves that we close this issue because the SV enhancements to assignment operators do not apply to non-blocking assignments. Dave seconds. No opposed. No abstain. Passes. AI: Move the other proposals in this item back to their locations. 91: Dave moves that we accept this proposal. Brad seconds. No opposed No abstain. Passes. 93: Dave moves that we close this issue as the language is already clear. Brad seconds. No opposed. No abstain. Passes. 94: In the example in section 19.7 (formerly 10.6), in the module "memMod", Replace b.clk wiht a.clk and replace b.start with a.start. Brad moves that we accept the above proposal. Mark seconds. No opposed. No abstain. Passes. 95: Francoise offers a friendly amendment that in the example in module sub, the reference to True should be i.True Dave moves that we accept the proposal as modified. Brad seconds. No opposed. Cliff abstains. 98: Brad moves that we accept this proposal. Nikhil seconds. No opposed. No abstain. Passes. 102: Dave moves that we accept this proposal. Nikhil seconds. No opposed. No abstain. Passes. 103: Dave will take ownership of this proposal and update it. We will delete this proposal to wait for Daves. 104: Brad will take an action to update the BNF references to interface_instance_identifier to something else. Brad moves that we accept this proposal. Dave seconds. No opposed. Cliff abstains. Passes. Action Items for the next meeting _________________________________ ==> Dave to check with the EC that issue 49 will work with classes. Not done. ==> 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 ==> Nikhil to add an example for issue 75 In progress -- will be done by next week ==> Johny to raise issue 62 with the SV-AC. Not done. Will be done this week. ==> Scope resolution to a static member and package scope resolution will have a conflict -> will pass it to EC ==> Jay: an Errata to propose on the compilation unit (syntactical mechanism) ==> Dave: to remove the methods version of the array querying extensions and merge the $type proposal. Nee to put more language/definition regarding dynamically sized and fixed sized types ==> Dave to provide an errata on the "inside operator" proposal ==> 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 ==> 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. ==> Brad to make a new proposal for issue 61 ==> Brad to update the BNF references to interface_instance_identifier to something else. Our next meeting is 11/24/03 at 9am Pacific.