Minutes of the 10/28/02 SV-BC Meeting.

This is my list of attendees and voting status - please submit corrections:
(aa--------) Johny Srouji (Intel)
(-aaa-aaaaa) Cliff Cummings (Sunburst Design) *
(-aaaaaaaaa) David Smith (Synopsys) *
(aaaaaaaaaa) Karen Pieper (Synopsys) *
(aaaaaaaa-a) Kevin Cameron (NSC) *
(aaaaaaaa-a) Steven Sharp (Cadence) *
(aaaaa-aaa-) Dennis Brophy (Model Technology) *
(--a---aaaa) Tom Fitzpatrick (Co-Design) *
(aaaaa----a) Gord Vreugdenhil (Synopsys)
(aaaaa-----) Brad Pierce (Synopsys)
(aa-a----aa) Francoise Martinolle (Cadence)
(aa-------a) Don Mills (LCDM Engineering)
(--aa--aa--) Mike McNamara (Verisity)
(----aaaaaa) Stefen Boyd (Boyd Technology)
(-----aa---) Medi Mohtashemi (Synopsys)
(-----aa---) Paul Graham (Cadence)
(-----aaaaa) Peter Flake (Co-Design) 
(-----aaaa-) Simon Davidmann (Co-Design) 
(-----aa--a) Heath Chambers (HMC)
(------aaa-) Dave Kelf (Co-Design) 
(-------aaa) Vasisilios Gerousis (Seimens) 
(a---------) Dan Jacobi
* indicates eligible to vote on consensus issues

Minutes from the 10/28 Meeting (can be found at http://www.eda.org/sv-bc).
	Karen moves we fix the spelling of Johny's name, change the date
	at the top of the file to 10/28, and note that Gord completed
	his action item to query the VCS team, and accept the minutes.
	Steve seconds.  No opposed.  No abstain.  Passes.

Action Items:

Karen and Johny need to present the static proposal to Vassilios.
        Johny to ask Vassilios to speak with Peter before Friday.

Francoise will propose text for SV-10: VCD and displaying enums.
	Francoise proposes to add the following on page 8 of the 3.0 spec 
	after the first paragraph on section 3.6 Enumerations:

	The format control string "%n" can be used to display the 
	enumerated name.  Any format 
	control string which can be used to display an integer value can be 
	used to display an enumerated value.
	
	Steven seconds.  No opposed.  No abstain.  Passes.

We need to start a new section of things that need to be added 
	to 1364.  %u or %v on structure types for example?  Karen will 
	add an item to the issues list.

Karen will present some issues to the ETF: SV-BC19-6, SV-BC19-15
	
Everyone needs to consider solutions for 11/25 Meeting: SV-BC19-7, 
	SV-BC19-13, SV-BC19-18, SV-BC10-19.

Cliff is to propose examples for SV-BC10.

Dennis to make a proposal on DSM.

SV-Business
	No changes to Friday's agenda, except to add SV-BC18f-i, SV-BC19-2, 
		SV-BC19-12

	Schedule required to meet 2/28 delivery of draft standard
        	All issues must be filed by December 31
        	Bulk of issues addressed by February 10
        	Standard update for initial voting February 28

Issues:
SV-BC18g: Can a struct be driven partially as a reg and partially as 
	a wire?  Is a bit similar to logic or reg?  We need to discuss
	this on Friday.  Karen and Johny will rework the agenda.

SV-BC19-1: Karen moves that we add ^~ to table 7-2 on the second line of
	the table and on the 11th.  Johny.  No opposed.  No abstain.  
	Passes.

SV-BC19-2: Gord suggests we table until Friday.  He believes it may be
	an oversight in the BNF.

SV-BC19-3: Karen moves that we change the library_declaration production
	as indicated in Dan's document.  Gord seconds.  No opposed.  No
	abstain.  Passes

SV-BC19-4: Dan agrees to drop.

SV-BC19-5: Karen moves that we remove the square brackets on the liblist_
	clause production as indicated in Dan's document.  Gord seconds.  
	No opposed.  No abstain.  Passes.

SV-BC19-6: Karen moves that we remove the square brackets on the module_
	declaration production as indicated in Dan's document.  Bring it
	up in the 11/25 meeting after discussion with the ETF.

SV-BC19-7: Take this to the 11/25 meeting.

SV-BC19-8: Karen moves that on the port_expression production, the outer
	brackets are in bold.  Steven seconds.  No opposed.  No abstain.
	Passes.

SV-BC19-9: Karen moves we add a semi-colon after the port_declaration 
	token in the interface_item production as indicated
	in Dan's document.  Johny seconds.  No opposed.  Steven abstains.
	Passes.

SV-BC19-10: Karen moves that we remove local_parameter_declaration and
	parameter declaration for the non_port_interface_item as indicated
	in Dan's document.  Johny seconds.  No opposed.  No abstains.
	Passes.

SV-BC19-11: Karen moves that identifier not be in bold in the Interface_
	port_declaration production as indicated in Dan'S document.
	Steven seconds.  No opposed.  No abstain.  Passes.

SV-BC19-12: Check with with Peter on Friday.  Steven moves that the brackets
	in the type_declaration production be bold as indicated in Dan's
	document.  Karen seconds.  No opposed.  No abstain.  Passes.

SV-BC19-13: Address this one on 11/25.

SV-BC19-14: Karen moves that we remove the square brackets in the signing
	production as indicated in Dan's document.  Steven seconds.  No
	opposed.  No abstain.  Passes.

SV-BC19-15: We look at the mintypmax parens in the ETF.   We'll address 
	++ later.

SV-BC19-16: Karen moves that we update the list_of_event_identifiers 
	production as indicated in Dan's document.  Steven seconds.  No
	opposed.  No abstain.  Passes.

SV-BC19-17: Karen moves that we update the list_of_net_identifiers
	production as indicated in Dan's document.  Johny seconds.  NO
	opposed.  No abstain.  Passes.

SV-BC19-18: The LRM needs clarification of the type of v in the following
	declaration:
	
	function logic [15:0] myfunc (int a, output logic [15:0] u, v);

	Is v a scalar (a default declaration) or a logic[15:0]?

	Delay for next time.

SV-BC19-19: Same issue as 19-18 but for tasks.

Next meeting is on Friday, 11/15/02.