Minutes SV-AC 04/03/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[xxxxxxxxxxxxxxxxx----x.] Faisal Haque (Cisco, Chairman)
v[xxxxxxxxxxxxxxxxx-x-x-x] Steve Meier (Synopsys, Co-Chair)
v[xxxx-xxxxxxxxxxx-xxx--x] Roy Armoni (Intel)
v[xxxxxrxxxxxxx-x-xxxrxx.] Surrendra Dudani (Synopsys)
v[xxxxxxxxxxxxxxxxxxxrxrx] Cindy Eisner (IBM)
v[xxxxxxxxxxxxxxrxx-xxx..] John Havlicek (Motorola)
n[xx--xxrxxxxxx-xx-xxxxx.] Richard Ho (0-in)
v[xxxx-xxxx-xxxxxxxxxxrx-] Adam Krolnik (LSI)
v[xxxxxxxx-xxxxxxxxx---xx] Joseph Lu (Sun)
v[xrx--xxxxxxxxxxxx--xxxx] Erich Marschner (Cadence)
n[x-x-xxxrxxxx-x-xxxxxx-x] Andrew Seawright (0-in)
v[xxxxxxxxxxxxxxxx-xrxxxx] Bassam Tabbara (Novas)
v[xx-x-xxxxx.............] Tej Singh (Mentor)
n[--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

1. Review of ASWG Syntax Outcome II

Surrendra summarized changes in BNF by ASWG
	a. In-line properties based on Adam's proposal b.
	b. No semi-colon when there is action block, still some minor issues, Adam advised taking
		Arturo's BNF proposal.
	c. event control added to property specification
	d. multi-clock concatenation
	e  syntax changes to align with PSL (implication forms, nth event operator)

Cindy asked why the property production requires either disable or not.  Surrendra this was required to prevent two event controls from co-occuring right next to each other.  Cindy indicated that there can be two event controls with not in between.  John clarified that if there are multiple event controls then the clocks need to match.  The event controls cannot occur in this fashion for multi-clock sequences.

2. Review Process

We reviewed updated LRM and BNF sent out by Surrendra, titled  sv_assertions_chapter_draft_40203 and will be referred to as v0.84.

Adam asked on review process from here.  Faisal proposed that only technical problems be addressed by the group.  There will be chapter by chapter review and technical problems and LRM description issues will be addressed.

After review there will be vote on entire LRM on 4/30.

3. Document Review

Sec 1.3
need to add reference to assert on/off

Sec 1.4
add same example with concurrent semantics

issues with figure, the dashed lines are not sampling, the sampling occurs on every clock tick, graphic needs update.  Also paragraph needs update.

need to update expression description, remove clock gating comment

Sec 1.5
adopt PSL names for repetition names

a) delay
- need comment that delays do not have boolean value
- need to update text to remove reference to unary or binary delays

b) compile time word removed

Sec 1.6
first sentence needs rewording

production name for variable_declaration that indicates dynamic

Adam asked if nesting of sequence are useful.  Surrendra indicated it is useful to
allow construction of complex sequences as parts.  John asked for clarification of references.  Surrendra clarified that name replacement only happens for top level sequence.  

Surrendra also clarified that hierarchical reference to nested sequences and variables within nested sequences are not allowed.  Bassam pointed out that page 9 indicates restrictions that have semantic restrictions disallow hierarchical reference. It was agreed to remove ASWG's addition nested sequence based on priority for schedule and lack of clear semantic support for this feature addition.

Make all clock and event control references consistent.  Need clarification on which forms of event control are supported with assertions.

Meeting Concluded