SV-ACMinutes2011_02_23 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-ACMinutes2011_02_23 (2011-03-10, ErikSeligman) (raw view)EditAttach
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.
Topic revision: r1 - 2011-03-10 - 19:30:51 - ErikSeligman
P1800