SV-ACMinutes2011_03_08 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-ACMinutes2011_03_08 (2011-03-10, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-02-22

Time: 16:30 UTC (8:30 PST)

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

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- F2F update

- Email ballot results

2476 : Need clarification about system functions $onehot, etc

Passed with friendly amendments

2804: Failed.

- New issues

- Issue resolution/discussion

3376: triggered should be typeset as code

- Enhancement progress update

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

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

  v[xxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)

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

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

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

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

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

  n[x-x..............................] Jacob Katz (Intel)

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

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

  v[xxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha (Mentor

Graphics)

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

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

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

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

  v[--xx-------x.....................] Srini Venkataramanan (CVC Pvt Ltd)

    |- attendance on 2011-03-08

  |--- voting eligibility on 2011-03-08

Minutes:

--------

- Reminder of IEEE patent policy.

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

Participants were reminded of the patent policy.

- Minutes approval

Erik: Move to approve minutes

Tom: Second

     Vote results: 8y, 0n, 0a

- Email ballot results

2476 : Need clarification about system functions $onehot, etc

Passed with friendly amendments

Erik: Scott's comment:  2'b1 should be replaced with 2'b01

     Other comment: $isunknown was not defied in terms of $countbits.

Erik: Will make the changes.

2804: Failed.

Ed:  If you have an event variable, you can't write posedge &lt;var&gt;

     Condition 2 only required for the "posedge var" form.

Erik: Will make changes.

Manisha:   Suggest: just say "if the event expression is of the form

     &lt;edge_expression&gt; variable, then the variable should not appear in the

     body of the procedure"

- Issue resolution/discussion

3376: triggered should be typeset as code

(Jacob joined)

Dmitry:    Has uploaded a proposal which simply changes the typsetting of the

     word "triggered" to courier.

Erik: Move to approve proposal

Manisha:   Second

     Vote results: 8y, 0n, 0a

- F2F update

Dmitry:    Summarizing the face-to-face meeting.

     Most difficult issue was continuous assignments in checkers

     Another issue discussed was checker sampling

manisha:   In 2009 std, checker variables not sampled.

     There are some cases where there would be backward incompatibilites.

     i.e. a checker variable on the rhs of a non-blocking assignment.

     However, the end result would be the same.

- Enhancements progress update

Manisha:   Mantis 3295  Assertion control system tasks

     Updated proposal in response to Shalom's comments.

     Defined a new function $assertcontrol()

Anupam: We are still keeping the legacy $asserton function, correct?

Manisha:   Yes

     Tom and Anupam will review the proposal

Defining triggered method for sequence arguments

Can we allow a sequence method on formal arguments

i.e.

property p (sequence s);

     s.triggered;

endproperty

Mantis 3191

Jacob: It's not legal to call triggered method on sequence s. (because of

     substitution semantics?). Could we do a smaller extention to allow

     only this case?

     A more comprehensive proposal would be to allow calling the triggered

     method on any sequence expression.

3191: Anupam and Erik will review this proposal

3069: Global Clocking

    Ed and Manisha will review

case?

Meeting adjourned.
Topic revision: r1 - 2011-03-10 - 19:32:04 - ErikSeligman
P1800