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

Date:  2008-04-22
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: 4, Passcode: 8691992


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

Agenda:
-------

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

Ballot results:

1503 passed, there were late comments from LP.


Addressing champions’ feedback:

2336 SV-AC  VPI part of 1757

Passed

 
2335 SV-AC  Minor fix for 1641

Passed


1932 SV-AC  Introduce LTL and other temporal operators

Passed with the following friendly amendments:

Friendly amendments
	Shalom - LTL Page 6, extra comma on page 6 (blue text)
        Shalom - There are about 10 instances of const_expression. 
                 They should probably all be constant_expression. 
                 See example on page 11, ltl doc, nexttime

        Editor issue - fuchsia on page 16 - no note. 
                       fuchsia is blue in 1757

DK sent an updated version addressing the friendly amendments and editorial issues.
Changes have been approved by voice vote: 6y/0n/1a
(LP abstained since she was off line at the moment of voting and could not see the updated proposal)

Working items:

 . 1503 - 27.33 VPI diagram of propertyinst has no vpiArgument 

It was decided to add a bug note with LP comments and to recommend to the champions to provide them
as friendly amendments.
The following text was approved by voice vote: 7y/0n/0a:

"The following issues were reported late after the SV-AC and SV-CC committee approvals.  SV-AC recommends that the champions provide the following friendly ammendments:


1.      In 36.76 Let declaration, 

a.      This is dependent on approval of the let proposal: Mantis 1728

b.      vpiDefFile and vpiDefLineNo should be crossed out as was done on the other diagrams. 

c.      A details note should be added of the semantic restriction that “seq formal decl” can only be a boolean expression, not a sequence or a named event 

2.      38.5.2  “verification statements”  should be “assertion statements” (2 times) 

3.       In diagram 36.45 Property specification, “clocked property”  should be “clocked prop”  to be consistent with vpiClockedProp  and vpiClockedSeq"


Other:

SV-SC meeting update

ES and DK updated on the last SV-AC meeting
 

Opens.

Future schedule: Keep current slot (two hours) and use them on the need basis.

. Next SV-AC meeting will take place 29-Apr. TT will lead the meeting.