Minutes SV-AC 03/06/03
Written by: Stephen Meier

ATTN: Next SV-AC Meeting Th March 13th 9:30-10:30AM PST 
	Dial-In = 888-830-6260
	Intl: 1-505-242-2420
	PartID = 908704

Legend:
x = attended
- = missed
r = represented
. = not yet a member
v = valid voter (3 out of last 4)
n = not valid voter

v[xxxxxxxxxxxxxx----x.] Faisal Haque (Cisco, Chairman)
v[xxxxxxxxxxxxxx-x-x-x] Steve Meier (Synopsys, Co-Chair)
v[x-xxxxxxxxxxx-xxx--x] Roy Armoni (Intel)
v[xxrxxxxxxx-x-xxxrxx.] Surrendra Dudani (Synopsys)
v[xxxxxxxxxxxxxxxxrxrx] Cindy Eisner (IBM)
v[xxxxxxxxxxxrxx-xxx..] John Havlicek (Motorola)
v[-xxrxxxxxx-xx-xxxxx.] Richard Ho (0-in)
v[x-xxxx-xxxxxxxxxxrx-] Adam Krolnik (LSI)
v[xxxxx-xxxxxxxxx---xx] Joseph Lu (Sun)
n[--xxxxxxxxxxxx--xxxx] Erich Marschner (Cadence)
v[-xxxrxxxx-x-xxxxxx-x] Andrew Seawright (0-in)
v[xxxxxxxxxxxxx-xrxxxx] Bassam Tabbara (Novas)
n[--xxxx-x-xxxxx-xxxx-] Prakash Narain (Real Intent)
v[x-xxxxx.............] Tej Singh (Mentor)
v[x-xxxx..............] Connie O'dell (Consultant)
v[x-xxx-x--xxx-x--xx-x] David Lacey (HP, OVL Chairman)
v[xxxxx---x...........] Hillel Miller (Motorola)
v[xxx.................] Kurt Shultz (Motorola)

n[----xx-xxx-rx-xxxrrx] Harry Foster (Verplex)
n[-----xx-----xxxxxxx.] Ambar Sarkar (Paradigm Works)
n[-------xxxxx........] Yaron Wolfsthal (IBM)
n[------x.............] Glenn Wesley (Consultant)
n[--------xxx-xxxxxxxx] Gail Dagan (Intel)
n[---------xxxxxxxxxx-] Rajeev Ranjan (Real Intent)
n[----------x.........] Sagi Katz (Gallileo)
n[---------xxxx-x-x...] Richard Stolzman (Verplex)
n[--------xxx-xxxxxxrx] Tom Fitzpatrick (Synopsys)
n[--------x--x-x-x--xr] Tom Anderson (0-in)
n[-------------------x] Jason Andrews (Axis)
==||||||||||||||||||||
==|||||||||||||||||||+- 07/09/02
==||||||||||||||||||+-- 07/25/02
==|||||||||||||||||+--- 08/01/02
==||||||||||||||||+---- 08/08/02
==|||||||||||||||+----- 08/15/02
==||||||||||||||+------ 08/22/02
==|||||||||||||+------- 09/05/02
==||||||||||||+-------- 09/12/02
==|||||||||||+--------- 09/19/02
==||||||||||+---------- 09/26/02
==|||||||||+----------- 10/03/02
==||||||||+------------ 10/31/02
==|||||||+------------- 12/03/02
==||||||+-------------- 01/23/03
==|||||+--------------- 01/30/03
==||||+---------------- 02/06/03
==|||+----------------- 02/13/03
==||+------------------ 02/20/03
==|+------------------- 02/25/03
==+------------------- 03/06/03

1. Schedule

- new issues on v0.8 baseline are be frozen by tomorrow (3/7)
- document related issues and changes can continue to be discussed
- resolve all issues by 3/21
- Voting for the entire LRM by SV-AC at the end of April (4/30)

2.DWG update
- resolved item #12 for selecting syntax for operators "and", "or" and "intersect".
  "and" changed to &&, "or changed to ||, and "intersect" remained the same.
- resolved item #13 for changing "never" to "not". 
  "never" was changed to "not" 
- issue #15 regarding the restrictions on always/initial directive is still open, related
   top level syntax design

3. Semantics group update - John Havlicek
- Well defined semantics, except for local variables and ended operator
- some disagreement about the rewrite rules
- Monday(3/10) is the deadline for submitting a rough draft of the semantics document

4. New Issues

Adam: Use of assertions in functions and tasks
Steve: It is not an issue, but an action item to clarify within LRM.
Steve took the action item to clarify if assertions are allowed in functions and tasks, and what
restrictions need to be made.

John explained the local variable proposal using forward flow of local variable.
Steve suggested to keep it as proposal for issue #5.

New issue item #17: A proposal to allow negation on the rhs of the implication: John, 2nd Surrendra, 3rd Roy.  John sent email proposal.

Item #18:  template feature documentation. Would like to include generate capability, wire decl, NBA assignments, parameters and initialization of declared variables. Adam will send the requirements. Surrendra will address the requirements in the syntax committee.

Adam: clarification on LRM
- assertions with a default clock, Steve explained the default clock mechanism from SV-EC clocking comain proposal
- system tasks in LRM. 
  Steve took an action item to make sure they are included in the LRM.
- bind capability for extension to include other descriptions than assertions. Surrendra explained that
  other committees are pressed for time and have no specific requirenment to address this issue. The syntax
  committee will review it so that extensions can be made in the future versions.
- precedence of the operators are not included in LRM. 
  Steve took action include precedence rules in the document.

New issue item #19: A proposal to add a new operator to incorporate next_event functionality.
  Adam, 2nd John, 3rd Surrendra
 
5. Status on Open issues
o item #5 is open with two proposals: one from Cindy and other from John. John will finish the   proposal by deciding how to take care of multiple matches, when variables from named sequences   are referenced.

o item #14 has one proposal to address multi-clock specification. There were no objections to the   proposal.

o item #15 is still open to be addressed by DWG to determine how best to allow and interpret        properties with respect to always/initial semantics.   

Meeting Concluded