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

Date:  2008-03-20
Time:  14: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: 4, Passcode: 7188980

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[xxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxxx-xx] Doron Bustan (Intel)
 v[-xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-x] Eduard Cerny (Synopsys)     
 n[---------------------------------x-xxx---------x-x-xxx-x---x] Surrendra Dudani (Synopsys)
 v[xxxxxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 v[xxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale)
 t[xx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel – Provisional Chair)
 n[--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------------x--xxx.....................] Joseph Lu (Altera)
 n[------x-x--xxxxxxxxxxxxxxxxxxx..............................] Johan Martensson (Jasper)
 n[--------------------------------------x--x-xx--xx-xxxxxxx-x-] Hillel Miller (Freescale)
 v[-xxxxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[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-x-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems – Provisional Co-Chair)
   |------------------------------------------------------ attendance on 2008-03-20
 |-------------------------------------------------------- voting eligibility on 2008-03-20 

Agenda:
-------

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

Voice vote:

· 2173 Add case construct for properties (updated version)
5y/0n/0a

· 2326 VPI diagram for the property case (extracted from 2173)
5y/0n/0a

· 2327 Vacuity part of 2173
5y/0n/0a

· 1932 Introduce LTL and other temporal operators (updated version: next -> nexttime)
5y/0n/0a

· 1806 Restrict property statement (made consistent with 1987)
5y/0n/0a

· 2335 Minor fix for 1641 (addressing SB comments)
5y/0n/0a

· 2069 Formal semantics for coverage is missing (approve the fix of the friendly amendment)
5y/0n/0a
 

Ballot results:

2069  Formal semantics for coverage is missing

Passed with one friendly amendment: 
“Change the last word of the proposal from "words" to "word".”
 

Opens.


The next SV-AC meeting will occur on Tuesday, 2008-03-25 at 16:00 UTC (9:00 AM PDT).