[sv-ac] Minutes of SV-AC Meeting 11/29/2011

Minutes of SV-AC Meeting:
Date: 2011-11-29
Time: 16:00 UTC (9:00 PST)
Duration: 2 hours

Dial-in information:
--------------------
Meeting ID: 38198

Phone Number(s):
1-888-813-5316 Toll Free within North America

Live Meeting:
https://webjoin.intel.com/?passcode=7957056

Agenda:
-------

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

- Minutes approval

- Champions' feedback
3295: need a way to control only asserts/covers/assume directives

-Draft 3 review

- Opens

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

Attendance re-initialized on 2010-07-06:

   n[-----x-xxxxx-xxx--xxx---xxxx-xxx-xxx...........................]
Ashok Bhatt (Cadence)
   n[-----------xx--xxx-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx]
Laurence Bisht (Intel)
   v[xx-xxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-]
Eduard Cerny (Synopsys)
   v[x-x-xxxxxxx-xxxxxxxxxxx--------xx---xxx--x-xxxxxxx-xxxxx-xxxxxx]
Ben Cohen (Accellera)
   n[--------------------------------------------xx-x-xxx-x--xxxxxxx]
Surrendra Dudani (Synopsys)
   n[---------------x-xxxxxx........................................]
Shaun Feng (Freescale)
   v[xxxxxxxx---------x-x--x-x-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx]
Dana Fisman (Synopsys)
   n[------------------------------------------xxxxx-xxxx-x-xxxxxxxx]
John Havlicek (Freescale)
   v[x----xxxxxxxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx]
Tapan Kapoor (Cadence)
   v[xxx--xx-xxx---x-xx-xxxxx-xxxx-x-x..............................]
Jacob Katz (Intel)
   t[xxxxxxx-xxxxxxxxx--xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx]
Dmitry Korchemny (Intel ¿ Chair)
   v[--x-xxx-xxxxxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx]
Scott Little (Freescale)
   v[xxxx-xxxxx-xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx]
Manisha Kulshrestha (Mentor Graphics)
   v[-xx-xx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx]
Anupam Prabhakar (Mentor Graphics)
   v[xxx-xxxxx-xxxxxxxxx--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx]
Erik Seligman (Intel)
   v[-xxxxxxx-xxxxx-xxxx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.]
Samik Sengupta (Synopsys)
   v[xxxxxxxxxxxxx-xxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx]
Tom Thatcher (Oracle ¿ Co-Chair)
   n[---------------------------xx---xx-------x.....................]
Srini Venkataramanan (CVC Pvt Ltd)
   n[-----------------x.............................................]
Vibarajan Viswanathan (Marvell)
     |- attendance on 2011-11-22
   |--- voting eligibility on 2011-11-22

Minutes
-------

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

Participants were reminded of the IEEE patent policy.

- Minutes approval
Erik: Move to approve minutes.
Tom: Second
        Vote results: 0n 0a

- Champions' feedback
3295: need a way to control only asserts/covers/assume directives

Dmitry: Unofficial feedback from Shalom
        1. Syntax error in BNF
        2. Need to address "final" assertions in this proposal.
                (assuming 3206 is approved)
        3. Editorial comments.
Dmitry's feedback
        1. Need VPI for Lock, & Unlock

     Version 16 is the latest version approved by SV-AC
     Version 18 is currently posted on Mantis
     Manisha sent out Version 19 this morning.

     Changes from Version 16 to Version 19:
     1. Added conditionals in the proposal based on whether 3206 is
approved or not
        Added values in tables for "assert final"
     2. Combined Tables 20-8 and 20-9 into one.
        (Not in Shalom's current feedback, but he had asked about it sometime
         in the past)
     3. Added VPI for Lock, Unlock
     4. A few more editorial changes: removed underscores from names.
  Not based
        on any feedback
     NOTE: Dmitry's latest round of comments not address

Dmitry: Changes too complicated to voice vote. Should call for e-mail
vote.
Tom: But final working group meeting is Thursday. Champions meet on
Wednesday.
        Any proposal change would need to be approved before that.
Dmitry: Propose to have short e-mail vote with deadline at the end of Today.

Dmitry: Will have Manisha upload latest proposal, Will call for e-mail
vote with
        deadline of Midnight tonight.
        Champions and Working group may still decide to take old proposal.

-Draft 3 review
Dmitry: 3191 and 2412 moved back to editor state. Alignment problems.

- Opens

     Ben: Will the list of participants in the Draft 3 standard change
     Dmitry: Will be changed later.

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