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

Date:  2008-06-02
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: 3199000


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[--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[xxxx-xxxxxxxxxxx-xxxxxxxxx-xxxxxx-xxxxxxxxx-xx-xxxxx-xxx-xxx-------] Yaniv Fais (Freescale)
 v[xxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx] John Havlicek (Freescale)
 t[xxx-xxxxx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxrxxxxxxxxxxxxx-xxx] Dmitry Korchemny (Intel – Chair)
 n[----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[xxxxxxx-xxxxxxxxxxxxxxx-xxxx-xxxxxxxxxxxxxxxxxxx-xxxxxxxx-xxxxxxxxx] Lisa Piper (Cadence)
 v[xxxxxx-xxxxxx-xxxxxxxxxx-x-x-xx-xxxxxxx-x-xxxxx-x..................] Erik Seligman (Intel)
 n[-------------------------x-x----x--------xxxx-----xxxx-xx----------] Tej Singh (Mentor Graphics)
 v[xx-xxxx-x-x-x-xxx-xxxxxx-x-xxxxxx--xxxxxxxx-xxxxxxxxxxxxxxxxxxxxxxx] Bassam Tabbara (Synopsys)
 v[xxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxx...............] Tom Thatcher (Sun Microsystems – Co-Chair)
   |------------------------------------------------------ attendance on 2008-06-02
 |-------------------------------------------------------- voting eligibility on 2008-06-02 

Agenda:
-------

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

- 2173 - Add case construct for properties.
Addressing SV-BC feedback.

YF: Sizing - no change. Same for all properties.  Add explicitly that there is no change. Does not understand BNF problems. 

JH: Do we want to align expression size for each case item?

JH: Need to reflect the case type gymnastics in the description of formal semantics.

DK: Need to align with random sequences.

DK: Need to cooperate with SV-BC as suggested in SV-BC feedback.

JH: Suggesting working with Mike Burns

JH: The type gymnastics of the case property should be aligned with the case statement.

YF will send an email to Matt Maidment and will work jointly with SV-BC to make the semantics of the case property aligned with that of the other case constructs.


Opens.

Next meeting will be Monday, June 16.