Meeting Time: Monday, 9^th of December, 9-11am Pacific

Call-in information is:

PARTICIPANT CODE: 516134
Toll Free Dial In Number: (877)233-7845
International Access/Caller Paid Dial In Number: (505)766-5458

Agenda for the 11/25/02 Meeting of the SV-BC

• Review of minutes for the 11/25/02 (minutes are attached)
• Agree on F2F date. Suggested date is January 22^nd. Johny checked on other committees scheduled F2F meetings:

Ø SV-AC does not have a scheduled F2F meeting in January

Ø SV-EC committee is looking into having a F2F on the 21^st. There is a suggestion to have joint/combined meeting for part of the meetings (e.g; at the end of sv-bc F2F meeting or beginning of sv-ec F2F). This is because some issues may require a joint discussion.

• Review of open action items:

Karen and Johny to propose that face-to-face meetings for

sub committees be scheduled close to each other.

Cliff is to propose examples for SV-BC10.

Dennis to make a proposal on DSM.

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)

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)

SV-BC19-21: range already parsed. Dan will resubmit the fix so it matched ETF.

• Discuss the issues regarding back annotation and the possibility of adding an extern declaration to improve the possibility of separate compilation.

Ø Both of those issues may need some work from a small sub-committee.

• Issues beginning with SV-BC19-28 (attached in this note)