[sv-ac] SV-AC meeting minutes, 2009-04-16

Minutes of IEEE P1800 SV-AC meeting #2009-02



Date:  2009-04-16

Time:  16:00 UTC (09:00 PDT)



Dialin information:

-------------------

Toll number:   +1 916-356-2663

Toll free number (US): 888-875-9370 (U.S. toll-free),

Bridge: 2 Passcode: 1540737


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

Attendance re-initialized on 2009-04-13:

vv[xx] Doron Bustan (Intel)
vv[xx] Eduard Cerny (Synopsys)
vv[-x] Ben Cohen
vv[-x] John Havlicek (Freescale)
vv[xx] Tapan Kapoor (Cadence)
tt[xx] Dmitry Korchemny (Intel - Chair)
vv[xx] Manisha Kulshrestha (Mentor Graphics)
vv[x.] Lisa Piper
vv[xx] Erik Seligman (Intel)
vv[xx] Bassam Tabbara (Synopsys)
vv[-x] Tom Thatcher (Sun Microsystems – Co-Chair)
   |-------------- attendance on 2009-04-13
 |---------------- voting eligibility on 2009-04-123
|----------------- new voting eligibility






Agenda:

-------



- Reminder of IEEE patent policy.

See: http://standards.ieee.org/board/pat/pat-slideset.ppt



- Approve meeting minutes from 2009-04-13.

Erik moves.

Doron seconds.



Motion passed 7y/0a/0n.





- Review of remaining ballot issues:



90  - Mantis 2650: Ambiguity in a sequence repetition [*0] definition



Dmitry: Add a note that seq[*0] matches only an empty word (the original wording says that the empty sequence does not match over any positive number of clock ticks).



Effort estimation: 3 days.





91  - Mantis 2652: Future value functions need clarification



Ed, Dmitry: The LRM clearly says that a sequence with the global clock sampled value functions can be used inside an assertion.



Ed: Need to add a motivation.



Doron: LRM is not supposed to provide motivation.



Dmitry: Sometimes it does.



Ed: On can add an explanation that future value functions do some assertions more natural.



Effort estimation: 1ww.





92  - Mantis 2653: Sequence match not shown in timing diagram

Ed: The figure is correct, there is a note in the text that only a match for the attempt starting at cycle 8 is shown.



Lisa: Leave the figure unchanged and send a clarification to P1800 WG.

Erik seconds.



Motion passed 7y/0a/0n.



93  - Mantis 2654: Error in an example of throughout operator



Ed: The diagram is correct since it shows the sampled values of the signals.

Doron: Need to add a note to make it clear,

Ed: It is possible to add one global note for the (sub)clause.

Dmitry: Then we need to make sure that all the figures show only sampled values.

Manisha: Prefer to add a local note.



Effort estimation: 3 days



96  - Mantis 2660: Add indices to expressions



Doron already submitted the proposal.

Effort estimation: ½ day.



98  - Mantis 2661: "Syntax 16-19" is in blue.



Trivial issue. Effort estimation: ½ day.





- Response to P1800 WG.



Dmitry will send the effort estimation to the distribution list, it will be voice voted at the next SV-AC meeting.





- Opens.



Next meeting will take place Monday, 2009-04-20 16:00 UTC (09:00 PDT)


---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.