Re: [sv-ac] Minutes of SV-AC Meeting 4/26/2011

Hi Ashok,

I have corrected the minutes. They are attached here.

Please speak up when I re-confirm the attendance!

Thanks,

Tom

-----------------------------------------------------

Date: 2011-04-26
Time: 16:00 UTC (9:00 PDT)
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=8947951

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

- Minutes approval

- LRM draft

- Email ballot results
Issues 3213 and 3295 failed.
Issue 3491 passed.

- New issues
3478: Make drivers of inout ports accessible

- Issue resolution/discussion
3385: Possible ambiguity when deferred assertion action block calls
nested function

- Enhancement progress update
3069: Relax rules for $global_clock resolution

- Mantis status

- Opens
Consulting

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[xxxx-xxx-xxx...........................] Ashok Bhatt (Cadence)
   v[x-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)
   v[x-xxxxxxxxx-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-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)
   n[------------------xxxxx-xxxx-x-xxxxxxxx] John Havlicek (Freescale)
   v[-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)
   v[-xxxx-x-x..............................] Jacob Katz (Intel)
   t[xxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel ¿
Chair)
   v[x-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)
   v[xxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha
(Mentor Graphics)
   v[xxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor
Graphics)
   v[-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)
   v[xxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta (Synopsys)
   v[xxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿
Co-Chair)
   n[---xx---xx-------x.....................] Srini Venkataramanan (CVC
Pvt Ltd)
     |- attendance on 2011-04-26
   |--- voting eligibility on 2011-04-26

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
Samik: Move to approve minutes
Anupam: Second
        Vote results: 8y, 0n, 0a

- LRM draft
Dmitry: New LRM draft is available.
        We'll need to review changes from our Mantis items.
Scott: All Mantis proposals now need to show changes with respect to
Draft 1?
Dmitry: yes.

- Email ballot results
Issue 3491 passed.
Issues 3213 and 3295 failed.

3295:
Manisha: Will make edits suggested in negative ballots, and will
        create a new version of the proposal.
Dmitry: Will call for a new vote.

3213
Tom: $sampled is the one function that everybody uses. You must use it
        if you want to print variable values a message in an action block
        Deprecating $sampled means re-training assertion writers around the
        world.
Samik: If we don't deprecate it, people will still use it, and if they
        use it in the wrong way, they will get wrong results.
        If we deprecate the function, the individual tool coud map $sampled
        to $concurrent.

Scott: Fine with any choice other than changing $sampled.
        $sampled has come to mean preponed value.
Samik: Don't like having both functions in LRM. Would prefer to change
        $sampled.
Dmitry: Straw vote: Three proposals Who is strongly against?
        Deprecate $sampled: Opposed: Tom
        Keep Both functions: Opposed Samik
        Change definition of $sampled: Opposed Scott.

Dmitry: Will update proposal and address some of the comments.
        Will call for a new vote.

- Issue resolution/discussion
3385: Possible ambiguity when deferred assertion action block calls
nested function
Tom: Will Review
Lawrence: Will review

- New issues and Opens
3478: Make drivers of inout ports accessible
        Dmitry entered this item as result of e-mail from Ben.

Dmitry: It may be possible to invite Ben Cohen to meetings to consult.
Tom: What is procedure for this?
Dmitry: Not sure of the exact procedure.
Dmitry: Ben had been championing Mantis 3195: Local Variables flow-out

Scott: Concerned about this Mantis item. Don't think there is really time
        to address it properly in this PAR.

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