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


10021121211   Day
18547073958
11111111000   Month
22211100998
00000000000   Year
33333333333

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


Meeting Minutes:
================
Dave moves that we accept the minutes of 12/08/03.  Nikhil seconds.
No opposed.  No abstains.  Passes.

____________________
New action items
____________________
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
	Done.

Dave:  Forward any mail that was reflected from Saturday to Tuesday but was
       not archived because of the eda.org disk crash.
	Done.

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

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

____________________
Issues
____________________

Karen moves that we close 80, 83, 84, 85, 86, 88, 89, 90 for the reasons
specified in http://www.eda.org/sv-bc/hm/1347.html  Dave seconds.
No opposed. No abstain.  Passes.

71:  On page 3 of the proposal remove "(shall contain 'x')"
     On page 5 of the proposal replace

	An uninitialized variable of tagged union type shall contain
	x's in all the bits, including the tag bits.

     With:

	An uninitialized variable of tagged union type shall be undefined.
	This includes the tag bits.

     Nikhil moves that we accept the proposal indicated in issue 71 with the
	above modifications.  Cadence abstains.  IEEE, Synopsys, Mentor, 
	BlueSpec, Intel are for.  Passes.

52:  Dave moves that we close this becasue it has passed in the EC.  Matt
	seconds.  No opposed.  NO abstain.  Passes.

100: In 9.4 replace 
		at least one event control 
	with 
		one and only one event control

     Dave moves that we accept the proposal as modified above.  Peter 
	seconds.  NO opposed.  No abstain.  Passes.

142:  Close as no change is required.  Karen moves that we close this
	issue.  Nikhil seconds.  No opposed.  No abstain.  Passes.

147:  Dave moves that we accept the proposal.  Matt seconds.  No opposed
	No abstain.  Passes.

148:  Brad moves that we accept this proposal.  Matt seconds.  No opposed.
	No abstain.  Passes.

149:  Brad moves that we accept the proposal.  Nikhil seconds.  No opposed.
	No abstain.  Passes.

150:  Brad moves that we accept this proposal.  Nikhil seconds.  NO opposed.
	No abstain.  Passes.

101:  Brad withdraws the issue.  Close with Brad's permission.

122:  Paul agreed that we could close it.  Dave moves we close it.  Brad 
	seconds.  No opposed.  No abstain.  Passes.

141:  Closed by issue 53.  Brad moves that we close it.  Dave seconds.
	No opposed.  NO abstain.  Passes.

54:  During the meeting Cliff sent a proposal which we discussed.	
	

Our next meeting is 01/05/04 at 9am Pacific.