[sv-ac] Minutes of SV-AC Meeting 8/16/2011

Minutes of SV-AC Meeting
Date: 2011-08-16
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=9818427

Agenda:
-------

- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Minutes approval

- Email ballot results:
Issue 2328 passed with friendly amendments: 7y/0n/0a
Issue 3033 failed: 6y/2n/0a
Issue 3295 failed: 7y/1n/0a

- Draft2 review

- New issues

- Champions' feedback
2476 Need clarification about system functions $onehot, etc
3015 Examples of $fatal have bad arguments
3069 Relax rules for $global_clock resolution
3113 Add port_identifier to constant_primary BNF for sequences,
properties and checkers
3385 Possible ambiguity when deferred assertion action block calls
nested function

- Issue resolution/discussion
3233: implicit wire declarations should occur in instantiations of
programs/interfaces also
2547: local variable read before write
2578: Vacuity definition
3206: Deferred assertions are sensitive to glitches
3295: need a way to control only asserts/covers/assume directives
2093: Checker construct (0001900) should permit output arguments

- 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[x-xxx--xxx---xxxx-xxx-xxx...........................] Ashok Bhatt
(Cadence)
   v[xx--xxx-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence
Bisht (Intel)
   v[xxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny
(Synopsys)
   v[-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-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx] Dana Fisman
(Synopsys)
   n[-------------------------------xxxxx-xxxx-x-xxxxxxxx] John Havlicek
(Freescale)
   v[xx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor
(Cadence)
   n[---x-xx-xxxxx-xxxx-x-x..............................] Jacob Katz
(Intel)
   t[xxxxxx--xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry
Korchemny (Intel ¿ Chair)
   v[xxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little
(Freescale)
   v[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha
Kulshrestha (Mentor Graphics)
   v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam
Prabhakar (Mentor Graphics)
   v[xxxxxxxx--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman
(Intel)
   v[xxx-xxxx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik
Sengupta (Synopsys)
   v[xx-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-08-16
   |--- voting eligibility on 2011-08-16

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 minutes
Scott: Second
        Vote results: 9y, 0n, 0a

- Email ballot results:
Issue 2328 passed with friendly amendments: 7y/0n/0a
Issue 3033 failed: 6y/2n/0a
Issue 3295 failed: 7y/1n/0a

2328:
Scott: Have incorporated all friendly amendments.
        Have new example which is hopefully clearer.
(Laurence joined)
Dmitry: Will call for an e-mail vote

3033:
What was reason for restriction on modeling code inside a checker that
is instantiated in a procedural block?.
Dmitry will remove new restriction from the proposal.
Manisha: Deferred assertions now also referred to as static assertions.
Erik: Not changing any behavior, just using a new term for existing
        behavior.
Dmitry: Will update proposal and call for vote.

3295:
Scott: Did notes from Shalom get addressed?
Manisha: In latest version addressed Shalom's comment regarding
        list of modules. Other comments did not results in strong
        push for a change.
Scott: OK, that satisfies the question.

Erik: Move to approve proposal for 3295
Scott: Second
        Vote results: 10y, 0n, 0a

- Draft2 review

- Champions' feedback
2476 Need clarification about system functions $onehot, etc
Erik: Changed phrasing of argument types.
        Made other editorial changes requested by champions.
        Recommend e-mail vote.
Dmitry: Will call for an e-mail vote.

3015 Examples of $fatal have bad arguments

Dmitry: SV-BC did not agree to all the changes proposed by Shalom.
        Current proposal is now only a two line change.
Erik: Move to approve proposal
Scott: Second
        Vote results: 10y, 0n, 0a

3069 Relax rules for $global_clock resolution
3385 Possible ambiguity when deferred assertion action block calls
        nested function
Erik: Three small text changes were made to implement Champions
        friendly amendments: Call for e-mail vote.
Dmitry: Will call for an e-mail vote.

- Issue resolution/discussion
3233: implicit wire declarations should occur in instantiations of
        programs/interfaces also
Erik: Why are procedural checker instances excluded?
Manisha: Should all checkers be excluded from this? Checkers work
        differently. Checker contents are substitued, there's no port
        connection.
Anupam: Let BC clarify why procedural checkers excluded.

2547: local variable read before write
Erik: We had decided not to add default values for local variables.
        If we aren't going to make changes, we should close it

Erik: Move to resolve 2547 as no change needed.
Scott: Second
        Vote results: 10y,0n, 0a

2578: Vacuity definition
Dmitry: Had been approved by e-mail ballot last week. Dmitry had raised
        a question about the vacuity definition. Felt it should be more
        consistent with the vacuity definition of property AND and OR.
Tom: We know that implication vacuity is not consistency with property
        AND and OR. We just picked a definition that was useful.
        The proposal we approved is just as "correct" as Dmitry's proposed
        alternative.
Dmitry: We can co with previous proposal, but a change in Annex F is still
        needed.
        Will make changes and call for e-mail vote.

3206: Deferred assertions are sensitive to glitches
Erik: Getting close to being ready to vote.
        Some didn't like terminology "standard and final deferred assertions"
        Scott: proposed "observed, and postponed deferred assertions"
        Seems like "oberved" & "final"

2093: Checker construct (0001900) should permit output arguments

Dmitry: Procedural assignments to checker output arguments.
        Allow initial values.
Dmitry: Untyped arguments: Don't know how to define untyped output
arguments
Dmitry: Continuous assignments to output arguments:

Dmitry: Will create a proposal and upload it for review.

Meeting adjourned

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