SV-AC_Minutes_2011_04_26 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_04_26 (2011-04-27, ErikSeligman) (raw view)EditAttach
Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- LRM draft

- Email ballot results

Issues 3213 and 3295 failed.

Issue 3491 passed.

- New issues

3478: Make drivers of inout ports accessible

- Issue resolution/discussion

3385: Possible ambiguity when deferred assertion action block calls

nested function

- Enhancement progress update

3069: Relax rules for $global_clock resolution

- Mantis status

- Opens

Consulting

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[-xxx-xxx-xxx...........................] Ashok Bhatt (Cadence)

  v[x-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)

  v[x-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)

  n[-------xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen

  n[--------------------xx-x-xxx-x--xxxxxxx] Surrendra Dudani (Synopsys)

  v[x-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)

  n[------------------xxxxx-xxxx-x-xxxxxxxx] John Havlicek (Freescale)

  v[-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

  v[-xxxx-x-x..............................] Jacob Katz (Intel)

  t[xxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel ¿

Chair)

  v[x-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)

  v[xxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha

(Mentor Graphics)

  v[xxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor

Graphics)

  v[-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)

  v[xxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta (Synopsys)

  v[xxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿

Co-Chair)

  n[---xx---xx-------x.....................] Srini Venkataramanan (CVC

Pvt Ltd)

    |- attendance on 2011-04-26

  |--- voting eligibility on 2011-04-26

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

Samik:     Move to approve minutes

Anupam:    Second

     Vote results: 8y, 0n, 0a

- LRM draft

Dmitry:    New LRM draft is available.

     We'll need to review changes from our Mantis items.

Scott: All Mantis proposals now need to show changes with respect to

Draft 1?

Dmitry:    yes.

- Email ballot results

Issue 3491 passed.

Issues 3213 and 3295 failed.

3295:

Manisha:   Will make edits suggested in negative ballots, and will

     create a new version of the proposal.

Dmitry:    Will call for a new vote.

3213

Tom: $sampled is the one function that everybody uses. You must use it

     if you want to print variable values a message in an action block

     Deprecating $sampled means re-training assertion writers around the

     world.

Samik:     If we don't deprecate it, people will still use it, and if they

     use it in the wrong way, they will get wrong results.

     If we deprecate the function, the individual tool coud map $sampled

       to $concurrent.

Scott:     Fine with any choice other than changing $sampled.

     $sampled has come to mean preponed value.

Samik:     Don't like having both functions in LRM. Would prefer to change

     $sampled.

Dmitry: Straw vote: Three proposals Who is strongly against?

     Deprecate $sampled: Opposed: Tom

     Keep Both functions:   Opposed Samik

     Change definition of $sampled: Opposed Scott.

Dmitry:    Will update proposal and address some of the comments.

     Will call for a new vote.

- Issue resolution/discussion

3385: Possible ambiguity when deferred assertion action block calls

nested function

Tom: Will Review

Lawrence:  Will review

- New issues and Opens

3478: Make drivers of inout ports accessible

     Dmitry entered this item as result of e-mail from Ben.

Dmitry:    It may be possible to invite Ben Cohen to meetings to consult.

Tom: What is procedure for this?

Dmitry:    Not sure of the exact procedure.

Dmitry:    Ben had been championing Mantis 3195: Local Variables flow-out

Scott:     Concerned about this Mantis item. Don't think there is really time

     to address it properly in this PAR.
Topic revision: r1 - 2011-04-27 - 15:57:38 - ErikSeligman
P1800