[sv-ac] Minutes from SV-AC Meeting 01/18/2011

Minutes of SV-AC Meeting
Date: 2011-01-04
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=9740612

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

2271: sequence events require a clocked sequence
1559: To which types can $countones be applied?

Addressing champions' feedback
1933: 16.13.6 reference to triggered method can be improved
2839: Contradictory statement of increment/decrement operators usage.
3135: Verbal explanation of nexttime and always is misleading for
multiple clocks.
2557: Rules for passing automatic variables to sequence subroutines are
not clear
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion
3113: Add port_identifier to constant_primary BNF for sequences,
properties and checkers
2476: Need clarification about system functions $onehot, etc
2412: Allow clock inference in sequences
2938: Surprising (to some users) interaction between deferred assertions
& short-circuiting

- Enhancement progress update
3036: Explicitly allow unpacked data types for arguments of assertion
system functions
3037: Introduce assertion system functions for 4-valued type support

- 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-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)
   v[xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)
   v[xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen
   n[--------xx-x-xxx-x--xxxxxxx] Surrendra Dudani (Synopsys)
   n[--x-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)
   n[------xxxxx-xxxx-x-xxxxxxxx] John Havlicek (Freescale)
   v[xxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)
   t[xxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel ¿ Chair)
   v[xxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)
   v[xxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha (Mentor Graphics)
   v[xxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor Graphics)
   n[x--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)
   v[-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta (Synopsys)
   v[xxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿ Co-Chair)
   n[-----x.....................] Srini Venkataramanan (?)
     |- attendance on 2011-01-18
   |--- voting eligibility on 2011-01-18

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
Tom: An amended version of the minutes was uploaded to the reflector.
        This version makes a one-line change that Manisha pointed out.
Erik: Move to approve minutes
Ben: Second
        Vote results: 7y, 0n, 0a

- F2F:
Dmitry: Trying to set dates for a face-to-face meeting.
        Proposal was for the week of DVCon, either Thursday and Friday,
        or Wednesday and Thursday
Eric: Didn't want to conflict with DVCon on Wednesday
Ed: Had suggested making it on Wed, Thu for people traveling.
        But may not be able to make it anyway.
Tom: Either option is fine with me.
Dmitry: Let's target March 3,4 (Thursday, Friday).

- Issue resolution:

2271: sequence events require a clocked sequence
Anupam: 2271 will refer to changes we're making in 2412.
        Will get unified proposal out later today.

1559: To which types can $countones be applied?
Eric: This one will be folded into 2476
        Other duplicates: 3036:
Dmitry: Any bit-vector type should be OK with these functions
Manisha: Believe that Gordon said we could treat bits as a dynamic array.
        But proposal says dynamic arrays are not allowed.
Anupam: I think we need to provide a type, and "logic" should be the correct
        type.
        Proper syntax: logic'( <expression> ) (See 1800-2009 p 93)
Ed: Logic is a single bit.
Tapan: Mantis 1526: Talks about casting.
Dmitry: Believe we can close 3036 as a duplicate
Eric: But 2476 needs to add the two sentences added by the 3036 proposal.
Manisha
Eric: p 93: 6.24.3 Any expression containing any 4-state values will
        result in all values being 4-state. (for streaming operator).

Eric: Can also close 3037: Not exactly a duplicate, but it touches the
        same text. The proposal for 2476 can address the issues raised in
        3037.
Dmitry: We can close 3037 next time.

Eric: Move to resolve 1559 as duplicate of 2476
Scott: Second
        vote results; 7y, 0n, 0a

Eric: Move to resolve 3036 as duplicate of 2476
Scott: Second
        Vote results: 7y, 0n, 0a

Champions Feedback:
1933: 16.13.6 reference to triggered method can be improved
Tapan: Will write a proposal to change the reference from 9.4.3 to 9.4.4

2839: Contradictory statement of increment/decrement operators usage.
Eric: This is a technicality. The sentence in the original text must
        either appear in the replacement, or it must be crossed out to show
        that it is being deleted.
Ed: Will fix the proposal

3135: Verbal explanation of nexttime and always is misleading for
multiple clocks.
Eric: Delete "Note that" from sentence.
Eric: Or remove the first phrase "Note that as in nexttime properties, "
Dmitry: Was assigned to Dana, Can anyone else make the change?
Scott: Will make the change.
Ben: Change "for instance" to "thus"
Manisha: Add "above" to first sentence. "The explanations above"

Back to 2839: Ed has updated the proposal
Scott: Move to approve Ed's changes to 2839
Tom: Second
        Vote results: 7y, 0n, 0a

2557: Rules for passing automatic variables to sequence subroutines are
not clear
Eric: Not sure what is wrong with the reference.
Manisha: But automatic variables are always passed as constant inputs.
Tom: That means that reference to 6.24 is not needed here, because
        the user doesn't need to explicity cast to const.
Dmitry: Also change "may" to "can" in the sentence.
Eric: Made the change
Eric: Move to approve proposal 2557 (friendly amendment to fix crossout)
Tom: Second.
        Vote results: 7y, 0n, 0a

Back to 3135: Scott has made changes.
Eric: Move to approve changes for 3135
Manisha: Second
        Vote results: 6y, 0n, 0a

2804: Will discuss next time.
Scott: Primary issue: Are we allowing constructs in checkers that would
        not be allowed in other places?

Meeting Adjourned.

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