[sv-ac] Minutes from SV-AC meeting 2/22/2011

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=1097708

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

- Minutes approval

- F2F

- Email ballot results

- New issues

- Issue resolution/discussion

Addressing champions' feedback
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion
2476: Need clarification about system functions $onehot, etc

- Enhancement progress update
2328: Review and relax restrictions on data types in assertions
3295: need a way to control only asserts/covers/assume directives

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

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 10y, 0n, 0a

- F2F
Dmitry: Next week we will not hold regular meeting.
        Face-to-face meeting will be next week.
        Propose to start at 8am. Finish at 4pm
        First Day (Feb 3) at Doubletree Hotel Dmitry will send location.
        Second Day (Feb 4) at Intel Santa Clara

        Dmitry will prepare slides.

- Issue resolution/discussion

Addressing champions' feedback
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion

Erik: Discussion last week about whether the current two-pass inference
        was the right way to go.
Anupam: Would like to rewrite the proposal without referring to
substitution.
Manisha: How would person writing checker know if a valid clock would
        be inferred after substitution.
Erik: This is why rules were written in a two-pass manner.
Anupam: Writer of checker needs to provide a clear interface.
Manisha: Supports change. It's cleaner to do inference once, rather
        than do it twice.
Tom: How are proposed checker rules different than in other scopes?
Anupam: In checker, the rules would allow multiple edge or event expressions
        to be inferred at the clocking event.
Erik: Isn't it better to have one rule that applies everywhere.
Tom: Agree
Erik: Will re-write the proposal
        Dmitry will call for a vote when the proposal is ready.

2476: Need clarification about system functions $onehot, etc
Erik: Ben, Manisha had suggestions. Erik will incorporate those suggestions
          and will update the proposal. Dmitry will call for a vote.

- Enhancement progress update
2328: Review and relax restrictions on data types in assertions
Scott: Doesn't have anything new to discuss.
Dmitry: What are plans for Face-to-Face?
Scott: Will discuss 2328. Don't think we will be ready to discuss other
        AMS-related proposals

3295: need a way to control only asserts/covers/assume directives
Manisha: Has not made any changes since last week.
Anupam: Would like to consider severity.
        If we don't add severity now, then added it later, we would then
        need to add yet another function for selecting by severity.
Tom: Can we just allow for selection by attributes instead?
Manisha: What is the type of an attribute?
Ed: An attribute is a name and a constant expression.
Ben: How would we avoid inter-operability problems?
        Different vendors might use different attribute names or values
        to encode severity.
Tom: Selection by attributes would allow selection by other attributes
        in addition to just severity.
Manisha: Is there an example of how to compare an attribute value?
Ed: Would have to get attribute value through DPI.

Meeting Adjourned.

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