Minutes of IEEE P1800 SV-AC meeting #2006-3: 02/07/2006
Written by: Ed Cerny

Code for the conference call:

        Domestic:         888-635-9997
        International:    763-315-6815
        Participant code: 2638198

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

n[xxx] Faisal Haque (Cisco, Chairman)
v[xxx] Eduard Cerny (Synopsys - Co-chair)	
v[xxx] John Havlicek (Freescale)
v[xxx] Doron Bustan (Freescale)
v[xxx] Manisha Kulshrestha (Mentor Graphics)
v[xxx] Volkan Esen (Infineon)v[-] Joseph Lu (NVIDIA)
v[-xx] Bassam Tabbara (Synopsys)
v[-xx] Hillel Miller (Freescale)
v[-x-] Surrendra Dudani (Synopsys)
v[-xx] Jospeh Lu (Altera)
 [.x-] Yaniv Fais (Freescale)
 [..x] Dmitry Korchemny (Intel)
====|---------------------------- 02/07/2006

Agenda:
-------

- Review IEEE working group rules
- Review errata reported in Mantis


Minutes:
--------

Discussion on action items from meeting on 01/24/06:

1) Manisha updated proposal for #805. All to review and provide
feedback by Friday, 02/10/2006.

2) Disabling action block on vacuous or disabled success: Manisha will
prepare a proposal to control this behavior using pairs (on/off) of
system tasks. Similar arguments as in $asserton/off/kill. Default
behavior as is now, i.e., execute the action block.

3) Issue #928, vote by email by Friday 02/10/2006. 

4) Ed added a proposal for #966, will send to Karen and BC committee
for review. SV-AC to review and send feedback by Friday 01/10/2006.

5) John explained that in the draft for #1296, regarding formal
semantics in the presence of clock flow rules, there is a change
required in the formulation of non-overlapping implication harmonize
its definition in single and multi-clock contexts. He will discuss
with Cindy (PSL committee).

6) Doron explained the proposal in #921: this covers one of two
aspects of this issue, the "when should tasks execute". More
dicsussion is needed before writing the final proposal. Provide
feedback before next meeting on 02/21/2006. Doron will add example by
this Friday.

7) New issues 1325 and 1326 to be discussed at next meeting.


Action Items:
-------------

1) Manisha to make a new item and write proposal for disabling action
blocks.

2) All provide feedback on #805 by 02/10/2006. Decide on vote then.

3) All - vote by email on #928 by 02/10/2006.

4) Provide feedback on proposal for #966 by 02/10/2006. Ed to send the
proposal to Karen and SV-BC.

5) Read draft proposal for #921, provide feedback by next meeting on
02/21/2006. Doron to add an example to the draft proposal by
02/10/2006.

Next meeting: 02/21/2006 at 9 am PT (12 pm ET, 6 pm Europe).