SV-ACMinutes2011_01_18 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-ACMinutes2011_01_18 (2011-01-24, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-01-18

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'( &lt;expression&gt; )  (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.
Topic revision: r1 - 2011-01-24 - 16:22:08 - ErikSeligman
P1800