Minutes of IEEE P1800 SV-AC meeting #2007-56
Written by: Dmitry Korchemny

Date:  2008-06-30
Time:  16:00 UTC (9:00 PDT) 

Dial-in information:
--------------------

Toll number:   +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Bridge: 2, Passcode: 1677916


Attendance Record:
------------------
        Legend:
                x = attended
                - = missed
                r = represented
                . = not yet a member
                v = valid voter (2 out of last 3 or 3/4 overall)
                n = not a valid voter
                t = chair eligible to vote only to make or break a tie

New PAR, attendance re-initialized on 2006-08-22:

 v[xx--x--xxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[--xx-xxxx-xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[------------------------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxxxxx-xxxxxxxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 v[--xxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale)
 t[xxxxx-xxxxx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel – Chair)
 n[x-----xxx--xx-x-xxxxxxxxx-xxxxxxxxx-xxx-x--xx--xxxxx----------xx-xxxx] Manisha Kulshrestha (Mentor Graphics)
 n[-----------------x-x-------------------------------------------------] Ah-Lam Lee (Qualcomm)
 n[--------------------------------------------------xxxxx-------x-xx-x-] Jiang Long (Mentor Graphics)
 n[---x-xx-x--------------------x------------x--xxx.....................] Joseph Lu (Altera)
 n[---------------x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
 n[-----------------------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[-xxxxxxxx-xxxxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[xxxxxxxx-xxxxxx-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[---------------------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[x-xx-xxxx-x-x-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems – Co-Chair)
   |------------------------------------------------------ attendance on 2008-06-23
 |-------------------------------------------------------- voting eligibility on 2008-06-23 

Agenda:
-------

- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt


- Draft6 review

. Most Mantis items have been reviewed, the remaining items are due next week.
. Issues about a "floating fragment" about untyped formals in 1601 reported by Lisa were decided to keep as implemented by the editor. If any change is required, it may be done by SV-SC, since SV-SC are reopening 1549 in any case.
. Mantis 2431 addressing Stu's feedback was aproved (5y/0n/0a).


- Mantis items

. The email ballot on 2173 failed with one negative vote. This vote was changed to a positive vote when the ballot was already closed.
. 2173, 2326, 2327 were updated to make them consistent with Draft6
. TT: Let's voice vote on these items (move)
. YF: Second
. Voice vote results: 2173 (5y/0n/0a), 2326 (5y/0n/0a), 2327 (5y/0n/0a)
	Unanimously passed.
. DK will send a request to SV-BC ro review the updated proposal 2173.


- Using sampled values in asynchronous aborts

. MK raised a question about using sampled value functions in asynchronous aborts
. The issue is potential inconsistency between different simulators in the reset reporting
. TT & DK: The simulator reporting should be consistent in case the time units are specified.

Opens.