SV-AC_Minutes_2011_09_13 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_09_13 (2011-09-13, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-09-13

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=2266887]]

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results:

2093: Checker construct should permit output arguments

- Issue resolution/discussion

2093: Checker construct should permit output arguments

3145: Need to clearly define "maximal property"

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

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

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

  v[xxxx-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-x-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)

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

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

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

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

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

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

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

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

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

  v[xxxxxx-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-09-13

  |--- voting eligibility on 2011-09-13

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 meeting minutes

Samik : Second

     Vote Results: 6y, 0n, 0a

- Email ballot results:

2093: Checker construct should permit output arguments

     Failed: 1 no vote

(Manisha joined)

- Issue resolution/discussion

2093: Checker construct should permit output arguments

Manisha:   Explained reasons for no vote

     Dmitry not here today. He'll address corrections this week

     and discuss next week.

3145: Need to clearly define "maximal property"

Erik: Ed was assigned as reviewer. He's on vacation now.

     Will wait for him to return.

3564: Do assertions contribute to sensitivity list of always_comb?

Anupam:    Considering to write a proposal. Suggesting that assertions

     do not change sensitivity list.

     Assertions should not change behavior of design.

Erik: Stand-alone deferred assertion is interpreted as a deferred

     assertion in its own always_comb block.

     You want the always block triggered the last time that the

     variable changes.

     Even concurrent assertions could use const value

Ben: Difference between immediate, deferred, and concurrent assertions?

Erik: In most real-life cases the extra triggering of the always_comb

     will not change the result.

Erik: The only case where an assertion doesn't contribute to sensitivity

     list would be a concurrent assertion using a sensitivity list.

Anupam:    But it might be difficult to check for const cast to determine

     whether to trigger block again.

Manisha: If concurrent assertion is inside an "if", the evaluation could

     be queued, but could be flushed if always block triggered again.

Anupam:    Will write a proposal.

Meeting adjourned.
Topic revision: r1 - 2011-09-13 - 19:49:43 - ErikSeligman
P1800