[sv-ac] Minutes of SV-AC meeting: 11/22/2011

Minutes of SV-AC Meeting
Date: 2011-11-22
Time: 16:00 UTC (9:00 PDT)
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=4753262

Agenda:
-------

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

- Minutes approval

- Email ballot results

- Champions' feedback
3069: Relax rules for $global_clock resolution

-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[x-xxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-]
Eduard Cerny (Synopsys)
   v[-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[xxxxxxx---------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[----xxxxxxxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx]
Tapan Kapoor (Cadence)
   v[xx--xx-xxx---x-xx-xxxxx-xxxx-x-x..............................]
Jacob Katz (Intel)
   t[xxxxxx-xxxxxxxxx--xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx]
Dmitry Korchemny (Intel ¿ Chair)
   v[-x-xxx-xxxxxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx]
Scott Little (Freescale)
   v[xxx-xxxxx-xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx]
Manisha Kulshrestha (Mentor Graphics)
   v[xx-xx-xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx]
Anupam Prabhakar (Mentor Graphics)
   v[xx-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[xxxxxxxxxxxx-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
Jacob: Second
        Vote results: 8y, 0n, 0a

- Email ballot results

3069: Relax rules for $global_clock resolution
E-mail ballot passed, with friendly amendments.

Jacob: Has modified the proposal. Language is now
        "clocking event in <clocking block instance>"
Ed: Shouldn't the language be
        "clocking block event <clocking block instance>"

Jacob: changed the language to "clocking event xxx"

Ed: Move to approve modified proposal
Erik: Second
        Vote results: 8y, 0n, 0a

3295: Need a way to control only asserts/covers/assume directives
Dmitry: Fransoise agreed to drop her objection, since assert_on has been
already
        implemented since the 2005 standard. Dmitry moved the current proposal
        back to the resolved state.

-Draft 3 review

- Opens
Anupam: Created a new Mantis item 3940

Will hold a meeting next week only if there is more feedback from the
Champions.

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