SV-ACMinutes2010_11_16 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-ACMinutes2010_11_16 (2010-11-19, ErikSeligman) (raw view)EditAttach
Minutes from SV-AC Meeting

Date: 2010-11-09

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

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results

None

- New issues

None

- Enhancement progress update

Vacuity definition (Dana¿s presentation)

- Issue resolution/discussion

Addressing champions' feedback.

1933: 16.13.6 reference to triggered method can be improved

2252: Several symbols in Annex F are in green

2291: the description of $assertoff blurs assertions and attempt

2330: Clarify that number_of_ticks argument to $past must be

compile-time constant

2387: Layout of 16.11 is inconsistent

2552: Confusing comments regarding nexttime operator

2557: Rules for passing automatic variables to sequence subroutines are

not clear

2722: Errors in Figures 16-14, 16-15, and 16-16

2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when

expression appears in procedural assertion

2839: Contradictory statement of increment/decrement operators usage.

2927: Precedence between sequence/property operator and normal

expression operator

2934: Precedence and associativity of case operator is not shown in the

table

3113: Add port_identifier to constant_primary BNF for sequences,

properties and checkers

- 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[xxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)

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

  v[xxxxxxx-xxxxx-xxxxxx] Ben Cohen

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

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

  v[xxxx-xxxx-x-xxxxxxxx] John Havlicek (Freescale)

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

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

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

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

  v[-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor Graphics)

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

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

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

    |- attendance on 2010-11-16

  |--- voting eligibility on 2010-11-16

- Reminder of IEEE patent policy.

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

- Minutes approval

Ben: Move to approve minutes

Scott:     Second

     Vote results: 8y, 0n, 0a

- Issue resolution/discussion

Addressing champions' feedback:

1933: 16.13.6 reference to triggered method can be improved

John: Add a note with the updated references (16.14.6 instead of 16.13.6,

     9.4.3 instead of 9.4.4, and 9.4.4 instead of 9.4.5) and delete the

     proposal.

     Dmitry will add the note, delete the proposal, mention in the note

     that no change is required since the references are correct and move

     the proposal to Resolved state.

2252: Several symbols in Annex F are in green

     Dmitry will add a note that the problem exists no more. Need to wait

     until there is a champions' quorum to address this issue.

2291: The description of $assertoff blurs assertions and attempt

John: Proposal was written relative to an earlier version of the standard

     Locator text does not match. Will make it harder to do the change.

2330: Clarify that number_of_ticks argument to $past must be

compile-time constant

    The proposal was opposed by the Champions in the email vote which ended

    on October 30, 2010.

    John - Friendly amendment

       I think that "must" should be "shall".

John: Will update the propposal

2387: Layout of 16.11 is inconsistent

     Assign Erik to make these proposals consistent.

2552: Confusing comments regarding nexttime operator

2557: Rules for passing automatic variables to sequence subroutines are

not clear

- Enhancement progress update

  Adding continuous assignments to checkers

Dmitry:    Continuous assignments should be updated in the Observed region:

     Reason: Random checker variables are assigned values at the start of

     the observed region. If a continuous assignment references a random

     checker variable on it's right-hand side, the only way for new value

     of the random variable to propagate to the target of the continuous

     assignment is for the assignment to be updated in the Observed

     region.

Discussion: Would this create circular dependencies?

Meeting adjourned

G
Topic revision: r1 - 2010-11-19 - 18:27:22 - ErikSeligman
P1800