Minutes SV-AC 04/08/03
Written by: Stephen Meier

ATTN: Next SV-AC Meeting Th April 10th 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[xxxxxxxxxxxxxxxxxx----x.] Faisal Haque (Cisco, Chairman)
v[xxxxxxxxxxxxxxxxxx-x-x-x] Steve Meier (Synopsys, Co-Chair)
v[xxxxx-xxxxxxxxxxx-xxx--x] Roy Armoni (Intel)
v[rxxxxxrxxxxxxx-x-xxxrxx.] Surrendra Dudani (Synopsys)
v[xxxxxxxxxxxxxxxxxxxxrxrx] Cindy Eisner (IBM)
v[xxxxxxxxxxxxxxxrxx-xxx..] John Havlicek (Motorola)
v[xxx--xxrxxxxxx-xx-xxxxx.] Richard Ho (0-in)
v[xxxxx-xxxx-xxxxxxxxxxrx-] Adam Krolnik (LSI)
v[xxxxxxxxx-xxxxxxxxx---xx] Joseph Lu (Sun)
v[xxrx--xxxxxxxxxxxx--xxxx] Erich Marschner (Cadence)
v[xx-x-xxxrxxxx-x-xxxxxx-x] Andrew Seawright (0-in)
v[xxxxxxxxxxxxxxxxx-xrxxxx] Bassam Tabbara (Novas)
v[xxx-x-xxxxx.............] Tej Singh (Mentor)
n[x--xx-xxxx..............] Connie O'dell (Consultant)
v[-xx-x-xxx-x--xxx-x--xx-x] David Lacey (HP, OVL Chairman)
v[--x-xxxxx---x...........] Hillel Miller (Motorola)
v[---xxxx.................] Kurt Shultz (Motorola)

n[---x--------------------] Ping Tseng (Axis)
n[------xxxx-x-xxxxx-xxxx-] Prakash Narain (Real Intent)
n[--------xx-xxx-rx-xxxrrx] Harry Foster (Verplex)
n[---------xx-----xxxxxxx.] Ambar Sarkar (Paradigm Works)
n[-----------xxxxx........] Yaron Wolfsthal (IBM)
==||||||||||||||||||||||||
==||||||||||||||||||||||+- 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
==||+--------------------- 03/27/03
==|+---------------------- 04/03/03
==+---------------------- 04/08/03

1. Review Issues from Prior Meeting Section 1-6

17.3 - remove reference to check
17.6 - change subsequence to subsequent
     - being is
17.5 - error on 3rd unary delay example

17.6 - change $rose in these examples.  Question of whether $rose a
valid event control expression, agreement to restrict event control to
not contain any sampled event transitions ($rose, $fall, $stable).
	
Cindy asked if always @(a) is legal.  The answer is yes and that would indicate
that sampling clock triggers anytime a changes.  Erich suggested that it can
be defined as a shorthand for @(posedge a or negedge a).


17.6 - reference to global variables

LRM text reads:
 Note that variables referenced within a sequence that
are not formal arguments to the sequence are resolved hierarchically
from the scope in which the sequence is instantiated.

John felt that variables were defined at the point of the definition.
Also has impact on definition on local variables.

All agree to "in which the sequence is defined".  There are parameters
available to make sequences reusable.

17.6 - (a*[0:3] ##1 b ##1 c) is typo, a[*0:3], also all will use form
without a space.

17.6 - Need to remove text describing nested sequences.

17.6 - Need to add definition for reference to named sequence
resolution of variables, sequences.  Update text to refer to
hierarchical name.

17.6 correct endseqnce in example on pp 168, remove dangling ")" in
the same example as continued on pp 169.

Ed - concern on program block restriction which do not allow
continuous assignment and RTL fsm.  This will be discussed next
meeting.

2. Review of Sections

17.7.1 - Question on whether function_blocking_assign allow enclosure
in parens.  Steve indicated the intention is to support this.  Need to
check and possibly update BNF.

17.7.1 Syntax 17-5 - Need to harmonize the BNF names with the actual
names used to describe the * operations.

17.7.1 - Question on rule:
	The sequence as a whole cannot be empty

	The rule and following is not appropriate. 

  Replace by:
	The match for an assertion must be non-empty

	Ed pointed out that following is incorrect
		a ##1 ((!b [*0:$] ##1 b)) [*min:max]) ##[0:$] !b ##1 c
as it states that it can be followed by extra samples where b is not
true, while this formulation would allow b to be true before !b and
then c.


17.7.7 and 8 - the abbreviation symbols need to be defined before used.

Will tune expansion to align with semantic defintion:
	(1 [*0:$](sequence_expr1) ##[0:$] 1 ) intersect sequence_expr2

Detailed discussion of matching of empty words and whether the overlapping
concatentation absorbs the empty word.  It has been defined that it does, but
John sees an associativity.  John will own this as part of semantics effort.

17.7.8 - add text from Connie to the description of within: 
...must occur at least one time entirely within ...

17.7.x - add figures for each operator (intersect, within, firstmatch) 

17.7.8 add : sequence_expr1 within sequence_expr2
is an abbreviation for writing ...

17.7.9 - $rose needs to have parentheses around argument

17.7.10 - $fell and $rose in ex. on pp 183 should be in bold

17.7.10 - remove last example with comment about chaining


3. Next Steps

Will skip 17.8 to allow times for semantics review

We hand-off LRM section to Stu on 4/14 for Draft 5 which will be
version edited.

Meeting Concluded