SV-AC_Minutes_2011_06_14 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_06_14 (2011-06-20, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-06-14

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:

[[meet:sip:dmitry.korchemny@intel.com;gruu;opaque=app:conf:focus:id:793dec74634346e6a13bf0d571055058?conf-key=0VEd5Lthc][meet:sip:dmitry.korchemny@intel.com;gruu;opaque=app:conf:focus:id:793dec74634346e6a13bf0d571055058%3Fconf-key=0VEd5Lthc]]

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results

Issue 3213 passed 10y/0n/0a with friendly amendments

- New issues

3610: Sequence methods with sequences admitting empty match

- Champions¿ feedback

- Issue resolution/discussion

3033: Allow procedural control statements is checkers 3552:Sequence methods // .triggered need further clarification

- Enhancement progress update

- Mantis status

- Opens

Clocking blocks.

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

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

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

  v[xxxx--------xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen (Accellera)

  n[-------------------------xx-x-xxx-x--xxxxxxx] Surrendra Dudani

(Synopsys)

  v[xxxx........................................] Shaun Feng (Freescale)

  n[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[xx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

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

  t[xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel ¿ Chair)

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

  v[xxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha (Mentor Graphics)

  v[xxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor Graphics)

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

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

  v[xxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿ Co-Chair)

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

 (CVC Pvt Ltd)

    |- attendance on 2011-06-14

  |--- voting eligibility on 2011-06-14

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

Ben: Move to approve minutes

Jacob:     Second

     Vote results: 10y, 0n, 0a

- Email ballot results

Issue 3213 passed 10y/0n/0a with friendly amendments

Tom: Four friendly amendments: All already implemented.

Manisha:Two friendly amendments: Implemented

Tom: Move to accept proposal with the friendly amendments impl

Lawrence:  Second

     Vote results: 10y, 0n, 0a

- Champions Feedback

Dmitry  3115 2412 3135

    2476  Failed Problematic

          Dave Rich suggested major changes.

    3113  Failed: Suggested different BNF structure

    2412  Clock inference in sequences

          Failed:    Mostly editorial changes

    3135  Failed: Incorrect fonts.

- New Issues

3595: triggered sequence method needs clarification

Ben: Entered mantis item as a result of last weeks discussion.

     Question was whether sequence.triggered() generates one event

     or two.

Ed:  How is this different from event.triggered()? It should behave

     the same way to be consistent.

Ed   Wouldn't it be better to forbid the use of triggered() in an

     event?

Dmitry:    New mantis item should be routed to SV-BC.

3610: Sequence methods with sequences admitting empty match

Dmitry: What does sequence.triggered() mean if the sequence admits an

     empty match. If allowed, triggered would be true at every time

     step. Should be forbidden.

- Issue resolution/discussion

3069 Global clocking

Dmitry:    Jacob & Scott reached an agreement on how to implement proposal.

     Will call for an e-mail ballot.

3033: Allow procedural control statements in checkers Mantis Proposal has been reviewed:

Tom: Assertions in checkers should use sampled values of all variables

     (even deterministic checker variables)

Dmitry:    Believe that this is taken care of by new definition of sampling.

Tom: Example in 17.7.3. It seems troubling that a single rand variable

     could be solved multiple times in a time step. Would be difficult

     to debug.

     In addition: What about the second solving? Would it use constraints

     clocked by both clocks? Or just one clock?

Dmitry:    But could be useful to code this way.

Tom: Shouldn't all assignments be prohibited to rand variables?

     How does the simulator know when to solve for it, and when to assign

     it?

Dmitry:    We put such an example in the 2009 LRM in 17.7.1

Dmitry:    Will call for an e-mail vote

- Opens

Clocking Blocks:

Ed:  Confusion in LRM? Question about whether @(clocking_block) is really

     equivalent to @(clocking_event_defined_in_clocking_block)

Meeting adjourned
Topic revision: r1 - 2011-06-20 - 22:21:33 - ErikSeligman
P1800