Minutes of the December 8, 2003 SV-BC Meeting (Design Modeling Committee)


0021121211   Day
8547073958
1111111000   Month
2211100998
0000000000   Year
3333333333

------------a Tom Kiley           - Mentor
aaa-aaaa--aaa Matt Maidment       - Intel
aa-aaaaaaaaaa Brad Pierce         - Synopsys
aaaaaaaaaaa-a Karen Pieper        - Synopsys
a-a-aaaa---aa Johny Srouji        - Intel
--a--aa-aaaaa Dan Jacobi          - Intel
aaaaaaaaaaaaa Dave Rich           - Synopsys
a-aaaa-aa-aaa Francoise Martinolle- Cadence
a-a-aaaa-aa-a Jay Lawrence        - Cadence
-----aaaaaaa- Dennis Brophy       - Mentor
--------a--a- Vassilios Gerousis  - Infineon
a-aa-aa-aaa-- Cliff Cummings      - Sunburst Design
aaaaaaaaaaa-- Mark Hartoog        - Synopsys
-------a--a-- Don Mills           - LCDM Engineering
aa-aa--aa---- Doug Warmke         - Mentor
aaaaaaaaa---- Rishiyur Nikhil     - Bluespec
----a-a-a---- Stu Sutherland      - Sutherland HDL-
aaa-aaa------ Peter Flake         - Synopsys


Meeting Minutes:
================
Brad moves that we accept the minutes of 12/05/03.  Doug seconds.
No opposed.  Cliff abstains.  Passes.

____________________
New action items
____________________


Karen: Open new issue to unify the syntax of task/function calls,
       module/interface/program instantiations, sequences, properties,
       coverage groups, etc.
	Done.

Brad: Open SV-EC erratum/proposal about the use of void' cast without
      parens in the example of 12.11.2
	Done.

Brad: Make an SV-EC erratum/proposal about the testbench BNF portions
      of
http://www.eda.org/sv-bc/hm/att-1275/01-declarations_for_loops_and_examples.
htm
	Not done.

Dave: Post revised version of proposal for SV-BC 53, incorporating feedback
      from today's discussion.
	Done.

Karen: Open SV-BC issue for David Smith's separate compilation proposal in
          http://www.eda.org/sv-bc/hm/1329.html
	Done.

Nikhil: Post a revised version of tagged union proposal of SV-BC 71.
	Done.

Dave:  Make proposal to clarify casting.
	Done.

Dave:  Forward any mail that was reflected from Saturday to Tuesday but was
       not archived because of the eda.org disk crash.
	
Dave:  Make proposal for SV-BC 100.
	Done.

Karen: E-mail to Johny with request that the discussion topics at next
       meeting include at least SV-BC 53, David Smith's separate 
       compilation proposal, and SV-BC 71.
	Done.

Everybody: Look over outstanding open issues and see if there are any that
       cannot reasonably be delayed until the next release.
	
____________________
Issues
____________________

53: Dave moves that we accept the proposal in:

	http://www.eda.org/sv-bc/hm/att-1344/01-arrayq-v3.pdf

	With the following modifications:

	Section 5.8.1, Rule 4:

	    Replace:

		A user defined type ( A typedef for an enum, unpacked struct,
			or unpacked union),

	    With:

		A typedef for an enum, unpacked struct, unpacked union, or
		    a class

	Section 5.8.1, Rule 8:

	    Replace:

		A user defined type

	    With:

		A typedef for an enum, unpacked struct, unpacked union, or
		    a class

	Section 5.8.1, Rule 7
	    Replace:
	        new 
	    With
		non-equivalent 

	Section 22.2 Rule 1
	    Replace:
		Simple typedefs are

	    With:
		A typedef that creates an equivalent type is 

	Section 22.2 Rule 3
	    Replace:
	        anonomous user defined types
	    With:
		anonomous structs, unions, and enums

	Matt seconds.  No opposed.  No abstain.  Passes.

144:  Doug moves that we accept the proposal.  Karen seconds.  No
	opposed.  No abstain.  Passes.

71:   Nikhil moves that we accept his proposal with the ammendments that
	tagged union be changed to union tagged in the proposal,
        .* be used as the wildcard token rather than $,
        an example is added that doesn't use the keyword tagged,
        case matches be used rather than casep

      We will delay the voting until Thursday.

Action item:  No long discussion on this proposal.  If you have any
	clarifications send them to the reflector by Thursday.

We'll have a meeting Thursday 9 to 11am California time.  Everyone can 
attend.


Action Items for the next meeting:
Brad: Make an SV-EC erratum/proposal about the testbench BNF portions
      of
http://www.eda.org/sv-bc/hm/att-1275/01-declarations_for_loops_and_examples.
htm
	Not done.

Dave:  Forward any mail that was reflected from Saturday to Tuesday but was
       not archived because of the eda.org disk crash.
	
Everybody: Look over outstanding open issues and see if there are any that
       cannot reasonably be delayed until the next release.

Everybody:  If you have any clarifications on the tagged union proposal,
	send them to the reflector by Thursday.

Our next meeting is 12/11/03 at 9am Pacific.