Minutes of the 2/27/03 Meeting of the SV-BC.

This is my list of attendees and voting status. Please submit corrections to johny.srouji@intel.com:
 
(a_aaaaaaaa________)                  Johny Srouji (Intel) *
(__aaaaa__aaa_aaaaa)                  Cliff Cummings (Sunburst Design) *
(a____a___aaaaaaaaa)                  David Smith (Synopsys) 
(aaaaaaaaaaaaaaaaaa)                  Karen Pieper (Synopsys) *
(__aaaaaaaaaaaaaa_a)                  Kevin Cameron (NSC) *
(_aaa_a_aaaaaaaaa_a)                  Steven Sharp (Cadence)
(____a___aaaaa_aaa_)                  Dennis Brophy (Model Technology)
(_______a__a___aaaa)                  Tom Fitzpatrick (Co_Design)
(aaaaaa_aaaaaa____a)                  Gord Vreugdenhil (Synopsys) *
(aaaaaaaaaaaaa_____)                  Brad Pierce (Synopsys) *
(aaaaaaaaaa_a____aa)                  Francoise Martinolle (Cadence) *
(__aaaaa_aa_______a)                  Don Mills (LCDM Engineering) *
(__________aa__aa__)                  Mike McNamara (Verisity)
(a___________aaaaaa)                  Stefen Boyd (Boyd Technology)
(_______a_____aa___)                  Medi Mohtashemi (Synopsys)
(_____________aa___)                  Paul Graham (Cadence)
(a______a_____aaaaa)                  Peter Flake (Synopsys) 
(a____________aaaa_)                  Simon Davidmann (IEEE) 
(_____________aa__a)                  Heath Chambers (HMC)
(______________aaa_)                  Dave Kelf (Co_Design) 
(___a_a_a_______aaa)                  Vasisilios Gerousis (Seimens) 
(__aaaaa_a_________)                  Dan Jacobi (Intel) *
(_______a__________)                  Stuart Swan (Cadence)
(_______a__________)                  Adam Krolnick
(aaa_aaaa__________)                  David Rich (Synopsys) *
(_______a__________)                  Yong Xiao (Synopsys)
(a_aaaa_a__________)                  Jay Lawrence (Cadence) *
(aaaaa__a__________)                  Matt Maidment (Intel)
(_______a__________)                  Wolfgang Keil (Synopsys)
(______a___________)                  Alec F. Stanculescu (Fintronic)
 
* indicates eligible to vote on consensus issues
 
** SV-BC BNF meeting on 01/29/03 was not taken into account for attendance.

Minutes of the 2/24/03 Meeting
	Karen moves that we accept the minutes of the 2/24/03 meeting.  Dave
	seconds.  No opposed.  Jay abstains.  Passes.

Open issues:

SV-BC43:  This is the same as Cliff's request we've already indicated he needs to
	forward to the EC.

SV-BC44-02:  Closed as same as 44-01. 

SV-BC44-04:  Karen moves that we close this issue as not addressable by our 
	committee.  Brad seconds.  No opposed.  No abstain.  Passes.

SV-BC44-05:  Karen moves that we close this issue already approved as a 
	language extension.  Johny seconds.  Jay is opposed.  No abstain.
	Passes.

SV-BC44-07:  Karen moves that we close this because of earlier decision that 
	unnamed blocks were ok.  Matt seconds.  No opposed.  No abstain.
	Passes.

SV-BC44-08:  Brad moves that we close this issue as not addressable by our
	committee.  Dave seconds.  No opposed.  No abstain.  Passes.

SV-BC44-10:  Karen moves that we follow the IEEE and say nothing (hence, 
	closing this issue).  Johny seconds.  No opposed.  No abstain.
	Passes.

SV-BC44-13:  Iff is useful in clocking domains where procedural checks are
	not possible.  Karen moves that we close the issue as clarified.  
	Dave seconds.  No opposed.  No abstain.  Passes.

SV-BC44-14:  We agree that there is an issue is here.  
	Jay moves that we replace the paragraph in Section 8.9:

		If a variable or net is not of type logic, then posedge and
	negedge refer to transitions from 0 and to 0 respectively.  If the 
	variable or net is a packed array or structure, it is zero if all 
	elements are 0.

	With:

		If a variable is not of a 4-state type, then posedge and 
	negedge refer to transitions from 0 and to 0 respectively.

	Dave seconds.  No opposed.  No abstain.  Passes.

SV-BC44-16:  Karen moves that we close this as the same as 44-01.  Johny 
	seconds.  No opposed.  No abstain.  Passes.

SV-BC47.  Dave moves we close this as the same as 62c.  Karen seconds.
	No opposed.  No abstain.  Passes.

SV-BC52:  Dave moves this is the same as 56.  Karen seconds.  No opposed.
	No abstain.  Passes.

SV-BC53:  Peter will propose new language.

SV-BC61a:  Peter will propose new language.

SV-BC63:  Dave to propose.

SV-BC64:  Matt moves we fix the BNF to one dimension.  Brad will make the 
	proposal.

SV-BC69:  Dan to propose.

SV-BC71:  Karen moves that we accept the proposal in message 466.  Gord
	seconds.  Francoise is opposed.  Jay abstains.  Passes.

SV-BC77:  Johny moves that we approve message 537 in principle.  Karen seconds.
	No opposed.  No abstain.  Passes.  Peter will develop formal language.


SV-BC44-03:  Dave moves that this issue is already addressed in 3.1v3.  Brad
	seconds.  No opposed.  No abstain.  Passes.
	
SV-BC44-06:  Karen moves that in 8.7(in 3.1v3) we remove the sentence
	A statment label does not create a hierarchy scope.
	
	and
	This is not the same as a block name, however because it does not
	create a hierarchy scope.

	Brad seconds.  No opposed.  No abstain.  Passes.

SV-BC44-11,12:  Johny moves that In Section 8.5 AFTER "jumps out of the loop"

	Insert "The continue and break statements cannot be used inside 
	a fork...join block to control a loop outside the fork...join 
	block.

	Brad seconds.  No opposed.  No abstain.  Passes.