[sv-ac] Minutes of SV-AC Meeting 3/15/2011

Minutes of SV-AC Meeting
Date: 2011-03-15
Time: 15:30 UTC (8:30 PST)
Duration: 1.5 hours

Dial-in information:
--------------------
Meeting ID: 38198

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

- SV-AC weekly meeting schedule

- Membership

- Email ballot results
2476: Need clarification about system functions $onehot, etc
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion.

Both issues passed: 11y/0n/0a. There were friendly amendments.

- New issues

- Issue resolution/discussion
3377: Fix method names in C.2.3 ended sequence method

- 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[xxx-xxx...........................] Ashok Bhatt (Cadence)
   v[xxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)
   v[xxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)
   n[--xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen
   n[---------------xx-x-xxx-x--xxxxxxx] Surrendra Dudani (Synopsys)
   v[x-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[xxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel ¿ Chair)
   v[x-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)
   v[xxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha (Mentor
Graphics)
   v[xxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor Graphics)
   v[-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)
   v[x-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta (Synopsys)
   v[xxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿ Co-Chair)
   n[---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 remineded of the IEEE Patent policy.

- Minutes approval
Dmitry: Voting rights for a few members was incorrect.
Tom: Will make corrections and re-publish.
Samik: Move to approve minutes with corrections
Second Manisha,
        Vote results: 9y, 0n, 0a

- Meeting Time:
Manisha: Since the US is back on Daylight Savings Time, we could move
meeting
        backto 9am PDT.
Tom: Move to change meetint time ack to 9am PDT.
Manisha: Second
        Vote results: 0n 0a

        Next week, we will meet at 9am PDT.

- Membership
Dmitry: Because of new IEEE policy, All committee members must be
representatives of the following companies:
        Cadence
        Freescale
        Intel
        Marvell
        Mentor
        Oracle
        Synopsys
        Accellera

Currently only 2 members of SV-AC are affected.
Dmitry has sent e-mail to Karen asking whether Ben could attend as an
Accellera representative.

- Email ballot results
2476: Need clarification about system functions $onehot, etc
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion.

Dmitry: Since Erik is sick today, we'll discuss the friendly amendments
        next week.

- Issue resolution/discussion
3377: Fix method names in C.2.3 ended sequence method
Dmitry: In the rest of the LRM, the method functions are listed by name,
             without a preceding dot. This proposal simply applies that
        covention to a paragraph in Appendix C.
Anupam: Should the text read "sequence method ended", rather than
        "ended sequence method"?
Dmitry: Will make the change and we will vote on it next time.

- Enhancement progress update
Dmitry: Sent out today a list of open Mantis items.

3295: Assertion control system tasks
Manisha: Anupam has submitted comments
        Anupam suggested not calling $asserton, $assertoff, etc "legacy tasks"
Dmitry: Entire example should be in Courier font.
        System task names appearing in main text should be Courier font.
Lawrence: Could you add an exclude hierarchy as well.
        If you do $assertKill on hierarchy A, followed by $assertOn on module
        X, which is a sub-module of A, the $assertOn can't save the assertion
        attempts which were already killed by the first $assertKill.
Anupam: Itroduce a control type {lock, unlock} in addition to {on, off,
kill}
        The lock control type would prevent subsequent calls to $assertcontrol
        from affecting the assertions in the give scope.

Lawrence: Should this locking only affect assertkill?
Anupam: The assert lock should affect all assertion directives.
Manisha: Will make changes and send out a new proposal for comments.

Anupam: Checker proposals: Should we ask working group for an opinion
        on the idea of defining formal constructs that are illegal in
        simulation?

Tom: I see this idea as more of a long-term direction: Something we might
        consider in the next PAR. For this PAR, we should make incremental
        changes.

- Sampling inside checkers
Dmitry: Proposal to modify definition of sampling was not acceptable.
        Working on new proposal, which would define sampling for
        concurrent context, vs. combinational context.

Meeting adjourned.

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