[sv-ac] Minutes from SV-AC Meeting 8/23/2011

Minutes of SV-AC Meeting
Date: 2011-08-09
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=1217926

Agenda:
-------

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

- Minutes approval

- Email ballot results:
Issue 2328 passed: 9y/0n/0a
Issue 2476 passed: 9y/0n/0a
Issue 3385 passed with friendly amendments: 9y/0n/0a
Issues 2578, 3033, 3206 failed

- Draft2 review

- New issues

- Champions' feedback
3069 Relax rules for $global_clock resolution
3113 Add port_identifier to constant_primary BNF for sequences,
           properties and checkers
3385 Possible ambiguity when deferred assertion action block calls
           nested function

- Issue resolution/discussion
3233: implicit wire declarations should occur in instantiations of
        programs/interfaces also
2093: Checker construct should permit output arguments

- 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:

   v[xx-xxx--xxx---xxxx-xxx-xxx...........................] Ashok Bhatt
(Cadence)
   v[-xx--xxx-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence
Bisht (Intel)
   v[xxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny
(Synopsys)
   v[x-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)
   n[-------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[xxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor
(Cadence)
   n[x---x-xx-xxxxx-xxxx-x-x..............................] Jacob Katz
(Intel)
   t[xxxxxxx--xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry
Korchemny (Intel ¿ Chair)
   v[xxxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little
(Freescale)
   v[-xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha
Kulshrestha (Mentor Graphics)
   v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam
Prabhakar (Mentor Graphics)
   v[xxxxxxxxx--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik
Seligman (Intel)
   v[xxxx-xxxx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik
Sengupta (Synopsys)
   v[xxx-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-08-23
   |--- voting eligibility on 2011-08-23

Minutes
-------
(Ed and Samik left the meeting)
- 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
Scott: Second
        Vote Results: 6y, 0n, 0a

- Email ballot results:
Issue 2328 passed: 9y/0n/0a
One small change from Ben. Will upload. Don't need a re-vote. Simply
added a reference.
Issue 2476 passed: 9y/0n/0a
Lawrence requested some changes. Will need to re-vote.
Erik will make changes, call for e-mail ballot.
Issue 3385 passed with friendly amendments: 9y/0n/0a
Erik will make changes, call for e-mail ballot
Issues 2578, 3033, 3206 failed

2578 Dmitry has uploaded proposal. Will call for an e-mail vote.

3206: Erik will contact Manisha to clarify the example
        Will make changes. call for e-mail ballot

(Dmitry joined)
3033: Dmitry has made changes.
        Will call for an e-mail ballot.

- Champions' feedback
3069 Relax rules for $global_clock resolution
Jakob: Has uploaded a new proposal. Still needs review by other committees.
        
Scott: Move to accept new proposal for 3069
Erik: Second
        Vote resuts: 7y, 0n, 0a
3113 Add port_identifier to constant_primary BNF for sequences,
           properties and checkers
Lawrence had updated a new proposal: Dmitry will call for an e-mail vote.

- Issue resolution/discussion
3233: implicit wire declarations should occur in instantiations of
        programs/interfaces also

Dmitry: BC had clarified why procedural checker instances were different.
Dmitry: However, within a checker, the rules are different.

Anupam: In a procedure, you can't declare a wire
        (That's why procedural checker instances were excepted)
        Inside a checker, you also can't declare a wire

2093: Checker construct should permit output arguments
Tom: Will we have enought time to get this proposal through?
Dmitry: We should have time.

Dmitry: Went through proposal for 2093.

Ben: If argument is untyped, you could pass a sequence to it?
Ben: Could you pass sequence.triggered()
Dmitry: That is not an lvalue.
Dmitry: Would like to assign reviewers.
        Anupam will review.
        Jakob will review.

3145 Definition of maximal property.
Erik: Will write a proposal
Scott: Will review proposal when it is ready

Meeting adjourned.

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