SV-AC_Minutes_2011_08_23 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_08_23 (2011-08-23, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-08-23

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.
Topic revision: r1 - 2011-08-23 - 23:25:13 - ErikSeligman
P1800