[sv-ac] Corrected: Minutes from SV-AC meeting 3/8/2011

Hello Everyone,

I corrected the voting rights in the minutes from our March 8 meeting.

Tom

Minutes of SV-AC Meeting
Date: 2011-02-22
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=6362971

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

- Minutes approval

- F2F update

- Email ballot results
2476 : Need clarification about system functions $onehot, etc
Passed with friendly amendments

2804: Failed.

- New issues

- Issue resolution/discussion
3376: triggered should be typeset as code

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

- Minutes approval
Erik: Move to approve minutes
Tom: Second
        Vote results: 8y, 0n, 0a

- Email ballot results
2476 : Need clarification about system functions $onehot, etc
Passed with friendly amendments

Erik: Scott's comment: 2'b1 should be replaced with 2'b01
        Other comment: $isunknown was not defied in terms of $countbits.
Erik: Will make the changes.

2804: Failed.
Ed: If you have an event variable, you can't write posedge <var>
        Condition 2 only required for the "posedge var" form.
Erik: Will make changes.
Manisha: Suggest: just say "if the event expression is of the form
        <edge_expression> variable, then the variable should not appear in the
        body of the procedure"

- Issue resolution/discussion
3376: triggered should be typeset as code
(Jacob joined)
Dmitry: Has uploaded a proposal which simply changes the typsetting of the
        word "triggered" to courier.
Erik: Move to approve proposal
Manisha: Second
        Vote results: 8y, 0n, 0a

- F2F update
Dmitry: Summarizing the face-to-face meeting.
        Most difficult issue was continuous assignments in checkers

        Another issue discussed was checker sampling
manisha: In 2009 std, checker variables not sampled.
        There are some cases where there would be backward incompatibilites.
        i.e. a checker variable on the rhs of a non-blocking assignment.
        However, the end result would be the same.

- Enhancements progress update
Manisha: Mantis 3295 Assertion control system tasks
        Updated proposal in response to Shalom's comments.
        Defined a new function $assertcontrol()
Anupam: We are still keeping the legacy $asserton function, correct?
Manisha: Yes
        Tom and Anupam will review the proposal

Defining triggered method for sequence arguments
Can we allow a sequence method on formal arguments

i.e.
property p (sequence s);
        s.triggered;
endproperty

Mantis 3191
Jacob: It's not legal to call triggered method on sequence s. (because of
        substitution semantics?). Could we do a smaller extention to allow
        only this case?
        A more comprehensive proposal would be to allow calling the triggered
        method on any sequence expression.

3191: Anupam and Erik will review this proposal

3069: Global Clocking
     Ed and Manisha will review
case?

Meeting adjourned.

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