[sv-ac] Minutes from SV-AC meeting, 11/17/2010

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

-- 
This message has been scanned for viruses and
dangerous content by MailScanner, and is
believed to be clean.