SV-AC_Minutes_2011_05_03 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_05_03 (2011-05-11, ErikSeligman) (raw view)EditAttach
Minutes of SV-AV Meeting.

Date: 2011-05-03

Time: 16:00 UTC (9:00 PDT)

Duration: 1.5 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=5426537]]

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- LRM draft review

- Email ballot results

Issues 3213 failed.

- New issues

- Issue resolution/discussion

Clocking blocks.

3385: Possible ambiguity when deferred assertion action block calls

nested function

2556: Explicit package scope indication is not allowed for checkers

- Enhancement progress update

3069: Relax rules for $global_clock resolution

3295: need a way to control only asserts/covers/assume directives

- Mantis status

- Opens

Next meeting

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

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

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

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

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

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

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

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

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

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

Chair)

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

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

(Mentor Graphics)

  v[xxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor

Graphics)

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

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

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

Co-Chair)

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

(CVC Pvt Ltd)

    |- attendance on 2011-05-02

  |--- voting eligibility on 2011-05-02

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

Scott:     Second

     Vote results: 10y, 0n 0a

Opens:

Next week, Tuesday is a holidy in Israel.  We will not hold a meeting

next tuesdday.

- LRM draft review

Dmitry has published a list of Mantis items implemented in the draft.

Each Mantis item owner should review that the changes were implemented

correctly.

Target for draft review to be complete by our next meeting (2 weeks from

     today)

If any problem found, move Mantis item status to "Editor", and write a note

describing the problem.

We should also review our sections of the LRM. Dmitry will assign sections.

- Email ballot results

Issues 3213 failed.

Anupam: "Sampled Value" and "Concurrent Value" are confusing

     OK with "Concurrent context"

     $sampled() returning a concurrent value is also a problem.

Tom:      Don't need to define new term "concurrent value" just define rules

     in one section and refer to that.

Scott:     Not OK with the fact that $sampled returned the "concurrent value"

Dmitry: straw poll to determine direction for this item:

Choices:

1. Modify the meaning of sampling. keep the rest as it is

2. Introduce the concept of concurrent context, use $concurrent,

deprecate $sampled

3a. Same as 2, but leave also $sampled as it is now (e.g., say that

$sampled(automatic_variable) is illegal)

3b. Same as 2, but use $sampled instead of $concurrent

4. Same as 2, but say that $sampled and $concurrent are synonyms

5. Get rid of term "sampled" and use "concurrent" instead. Keep function

$sampled.

Results: (+ in favor, - opposed)

Anupam              +1, - 2, 3a, 3b, 4, 5

Ed          +3b, -3a, 4

Erik        +3a

Jacob    +1,5,2 - the rest

Laurence            +1, 3b, -4

Manisha              +1. 3b -3a, 2

Samik   +3b, -3a, 4

Scott     +3a. -3b, 4, 5

Tapan   +1, 5, -3a

Tom      +3a, 3b, 4, 2 -1

Dmitry +1,2 -...

Dmitry, Erik: Dmitry will summarize results and send them to SV-AC and

to Gord and Dave.

The winner is 1, Dmitry will prepare the next version of the proposal

and call to vote if time permits.

Jacob: 3069 is ready to vote. Dmitry will call to vote.

Manisha: 3295 ¿ Will address Scott¿s comments and notify Dmitry when

ready. Dmitry will call to vote.

Erik: 3385 ¿ Will make changes and notify Dmitry when ready. Dmitry will

call to vote.

Laurence: 2556 is ready for review. Jacob and Manisha will review.
Topic revision: r1 - 2011-05-11 - 14:31:35 - ErikSeligman
P1800