SV-BC F2F Agenda

SV-BC F2F Meeting Minutes

Date: Monday, November 10^th, 2003

Time: 9:00 am – 4:00 pm

Attendants:

Brad Pierce - Synopsis

Dave Rich - Synopsis

David Smith - Synopsis

Doug Warmke - Mentor

Francoise Martinolle - Cadence (Bridge)

Jay Lawrence - Cadence

Johny Srouji - Intel

Karen Pieper - Synopsis

Mark Hartoog - Synopsis

Matt Maidment - Intel

Peter Flake - Synopsis

Rishiyur S. Nikhil - BlueSpec

Arturo Salz - Synopsis

Kurt Baty - (Bridge)

Yong Xiao - Synopsis

Agenda

Time	Topic	Owner
08:50–09:00	Gathering
08:50–09:00	Review of our meeting minutes of Oct 27^th, Review open action items http://www.eda.org/vlog-pp/sv-bc/minutes/sv-bc_03_10_27.txt	Johny
09:00–09:30	Review and vote on separate compilation proposal (version 8). Link: http://www.eda.org/sv-ec/hm/att-1461/02-Packages_Sep_V8.pdf	Karen
09:30–10:00	Review and vote on Array querying functions http://www.eda.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=53	Dave Rich
10:00–10:30	Memory pattern file formats http://www.eda.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=67	Doug Warmke
10:30–10:45	Break
10:45–11:15	$inside operator issue http://www.eda.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=72
11:15-11:45	Operator overloading http://www.eda.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=49	Dave Rich
11:45-13:00	BlueSpec Donation http://www.eda.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=71	Rishiyur Nikhil
13:00-13:30	Lunch
13:30-14:15	Ref ports defaulting to input http://www.eda.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=54	Cliff Cummings
14:15-15:00	Function declaration flexibility http://www.eda.org/vlog-pp/sv-bc/display_issue.cgi?issue_num=48	Dave Rich
15:00-16:00	Wrapup, review action items, etc	Johny

Minutes

Review of Open Action Items

Doug to make a formal proposal on issue #67 – done
Dave to check w/ EC on issue 49 – not done
Brad and Peter to update proposal on issue 70 – proposal sent
Johny to send Adam on issue 76 – done – pending a reply from Adam
Brad to add language on issue 98 – done
Nikhil to add example on issue 75 – in progress – will be done by next week
Karen to refer to Greg on issues 44 – done
Danny to make a proposal on issue 61 – done
Johny to raise issue 62 w/ AC – not done. Will be done this week
Danny on attributes – done
Mark to make a proposal on issue 69 – not done – maybe in two weeks

Review of last meeting minutes (Oct 27^th)

Brad moves we accept the meeting minutes (w/ the addition of open action item on issue #53), Nikhil seconds, no opposed.

No abstain. Meeting minutes Passed.

Need to correct the date on the top of meeting minutes to October 27^th (instead of 13^th)

Review and vote on separate compilation proposal

9:30 am

David went over version 10 of the packages proposal.

The issue of defining compilation unit as part of the language syntax was brought up.

Command line options are not portable or/and standard between different simulators.

Ammendment-A0: The sentence in the last column of last row of Table 18.1 should be corrected to read:

“The import of p::c makes any prior reference to c illegal”

§ Scope resolution to a static member and package scope resolution have a conflict à will pass it to EC

Karen moves that we approve the proposal w/ the amendment A0 above. Nikhil seconds. No Opposed. No Abstain. Proposal is accepted.

Karen proposed to close all issues that are part of separate compilation. Dave seconds. No opposed. No abstain. Passes

Review and vote on Array querying functions

10:45 am

Matt raised his proposal regarding the introduction of $type system function.

o Jay pointed out this proposal was submitted after the deadline and therefore we need to vote on making an exception in this case unless this is handled as an ERRATA.

o Dave pointed out this proposal could be viewed as an amendment of the array querying functions (issue #53)

o Dave makes a motion to handle $type system function as an amendment of issue #53. Matt seconds.

Opposed: Jay (pointing this functionality is useful but should be handled as a new submission and be made as an exception), Abstain: Francoise –

Motion Passed. This will be handled as an amendment to issue #53.

Dave went over his proposal. It was suggested to use dot (.)

Action item: Dave Rich to Remove the methods version of this and merge the $type proposal.

Need to put more language/definition regarding dynamically sized and fixed sized types.

Voting on the approval of this proposal is postponed pending the modified version (by next meeting).

Memory pattern file formats

Doug Warmke submitted a proposal under issue #67.

Action item: Doug needs to add text to clarify associative arrays support.

Modifications: typo: 22.11.4 should be 22.14

Discussion conclusion: Doug needs to make few modifications to his proposal before voting on it.

Inside operator issue

This was done by EC and it was brought over to BC to review and confirm if there is a problem with this or not.

Karen moves that we accept the proposal as it stands now and make an amendment later. Brad seconds.

Jay proposed an amendment to the proposal to change the title of section 7.17 to become “integral set membership”.

No opposed. Dave abstains. Motion passes.

Operator Overloading

The basic idea is to apply these operators to data types where operators are currently illegal.

Existing operator =, ==, !=, ===, !== unchanged

Operators on legal data types unchanged

The basic idea is to map the operator to function prototype.

§ Syntactically, it was suggested to replace the word function by the word bind.

§ How does this work with classes – may need another proposal that explains how to integrate operator overloading w/ packages

Arturo moves to accept this proposal w/ the amendment of changing the syntax of function to bind and fixing the typo in the struct definition under 7.16 from “ bit [3:0] exponent’ ” to “ bit [3:0] exponent; “, and correct the BNF. Peter seconds. No opposed. No abstain. Proposal is approved.

BlueSpec Proposal

Nikhil presented BlueSpec proposal on tagged unions and pattern matching.

Many good comments and questions were raised.

It was decided that Nikhil will incorporate comments and submit a modified proposal within a week.

Modified proposal will be voted on in sv-bc tele-call meeting.

New Action Items

§ Karen to correct the date on the top of sv-bc meeting minutes of Oct 27^th to October 27^th (instead of 13^th)

§ Scope resolution to a static member and package scope resolution 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 this and merge the $type proposal.

Need 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 – by next meeting

§ Dave to provide an errata on the “inside operator” proposal

§ Peter to modify Operator overloading proposal to fix:

o changing the syntax of function to bind

o fixing the typo in the struct definition under 7.16 from “ bit [3:0] exponent’ ” to “ bit [3:0] exponent; “

o 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 w/ David Smith on finding someone from the language experts to work w/ Nikhil on the proposal