Karen to create teleconference calls for
      01/06/03          - tele-call, 9:00-11:00 am Pacific 
      01/20/03          - tele-call, 9:00-11:00 am Pacific
      02/03/03          - tele-call, 9:00-11:00 am Pacific
      02/17/03          - NO MEETING (President Day)
      02/24/03          - tele-call, 9:00-11:00 am Pacific
Karen to send info to Johny and everyone.

Karen to arrange logisitics of face-to-face on 1/22/03.
 
Gord to see if a member of the VCS team will write up VCD descriptions for all types.

Dennis to make a proposal on DSM.  With Dave Roberts at Cadence.

Peter will clarify extern fork/join semantics. In   particular:
     Disabling calls for joined tasks needs to be clarified                                 
     Need to document the behavior for modules that do not define interface tasks.   (SV-BC16)

Gord will make a proposal to describe the granularity of error checking on logic types in the presence of mixed continuous and procedural assignments. (SV-BC18)

Dave Rich will make a proposal describing port directions and/or collapsing are possible with logic type and the associated restrictions. (SV-BC18g)
	The proposal is to make strict direction checking for the SystemVerilog verilog ports.  This raises an
	open issue for structured wires.

Dave will propose some language indicating that when a logic type has an initializer, all assignments must be procedural. (SV-BC18h)

Dave will propose some language indicating that logic types cannot be driven by primitives that pass strength: MOS switches, etc. (SV-BC19i) 

Johny will check with the EC as to why they need type use before definition.  We will discuss this in our next meeting. (SV-BC8-3) Email has been sent to David Smith.  Discuss when reply arrives.

Dave will develop language to clarify the description of time precision and time scale. (SV-BC2)

Peter will develop language to address issues with time variables and literals. (SV-BC8-5) 

Steven will develop language to clarify the meaning of type "matching" in structural literals. (SV-BC7c)

Stu will implement the global replacement of masked with 4-state and unmasked with 2-state. (SV-BC8-7)

Karen will propose language correcting the standards conversion between shortreal and integer.  (SV-BC9-10)

Gord will propose shortreal equivalents of $bitstoreal and $realtobits (SV-BC9-10)

Peter will propose language for what can and cannot appear in a constant expression. (SV-BC12)

Gord will propose language describing the implicit sensitivity list for always_comb, noting that always_comb is equivalent to always <statement> @(sensitivity) (SV-BC21)

Karen will develop language for auto-increment. (SV-BC6)