SV-AC_Minutes_2011_05_24 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_05_24 (2011-06-20, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-05-24

Time: 16:00 UTC (9:00 PDT)

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=3833745]]

Agenda:

-------

- Reminder of IEEE patent policy.

See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Minutes approval

- LRM draft review

- Email ballot results

- New issues

3564: Sec 9.2.2.2.1 needs to clarify whether variables read in an assertion contribute to the sensitivity of an always_comb

3559: Implication example explanation is not accurate

- Issue resolution/discussion

3069: Relax rules for $global_clock resolution

2556: Explicit package scope indication is not allowed for checkers

3213: Update definition of sampled value

3295: need a way to control only asserts/covers/assume directives

3202: Clarify on whether certain system functions are allowed in classes, let', and other corner cases 3552:Sequence methods // .triggered need further clarification

- Enhancement progress update

3033: Allow procedural control statements is checkers

- Mantis status

- Opens

Clocking blocks.

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:

  n[---xxxx-xxx-xxx...........................] Ashok Bhatt (Cadence)

  v[xxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)

  v[xxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)

  n[xx--------xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen (Accellera)

  n[-----------------------xx-x-xxx-x--xxxxxxx] Surrendra Dudani (Synopsys)

  n[xx........................................] Shaun Feng (Freescale)

  y[-x-x-xxxx-x-x----x-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)

  n[---------------------xxxxx-xxxx-x-xxxxxxxx] John Havlicek (Freescale)

  v[-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)

  v[xxx-xxxx-x-x..............................] Jacob Katz (Intel)

  t[x-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel ¿ Chair)

  v[xxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)

  v[xxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha (Mentor Graphics)

  v[xxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor Graphics)

  v[xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)

  v[xxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta (Synopsys)

  v[xxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿

Co-Chair)

  n[------xx---xx-------x.....................] Srini Venkataramanan (CVC Pvt Ltd)

    |- attendance on 2011-05-24

  |--- voting eligibility on 2011-05-24

Minutes:

- Reminder of IEEE patent policy.

See: http://standards.ieee.org/board/pat/pat-slideset.ppt

Participants were reminded of the IEEE patent policy.

- Meeting minutes approval.

Ben: It is captured in the minutes that the rules for flow out will

     change, but the existing rules won't change.

Scott:     But there will be new rules, therefore it is correct to say that the

     rules will change,

Ben: OK with me.

Erik: Move to approve the minutes.

Ben: Second.

Unanimously approved.

- New Issues:

3654: Sec 9.2.2.2.1 needs to clarify whether variables read in an assertion

     contribute to the sensitivity of an always_comb

Erik: The language is OK with me, but a clarification won't harm.

Anupam: Will write a proposal.

3559: Implication example explanation is not accurate

Ben: Will write the initial proposal.

- Issue resolution/discussion

3069: Relax rules for $global_clock resolution

Anupam:    Would a new function be needed for backward compatibility?

     Call system function once to select 2009

Ed:  Just leave it to simulator to select 2009/2013 option.

Anupam:    Would like to see clarification for nested module.

Manisha: Would also like to see that clarification.

Jacob:     Will modify proposal: Dmitry will call for a vote.

2556: Explicit package scope indication is not allowed for checkers

3213: Update definition of sampled value

Dmitry:    Have addressed all comments

Ben: $stable( seq.triggered) is illegal according to simulator

Dmitry:    Proposal would make this legal.

Erik: Have you followed up with Gord & Dave Rich to be sure that this

     proposal will go through.

Dmitry:    Have sent e-mail.

Anupam:    Dave seems to be fine with this proposal. Gord is on vacation.

Scott:     Will send another set of comments.

Dmitry:    Will call for an e-mail vote.

3295: need a way to control only asserts/covers/assume directives

Manisha:   Have included all feedback from friendly amendments.

     Does proposal need to be aligned with Draft 1?

Dmitry:    Suggest to align it.

Dmitry:    Will hold an e-mail vote to approve changes.

3202: Clarify on whether certain system functions are allowed in classes, let', and other corner cases

Erik: Classes: LRM suggests that bit-vector functions ($onehot), etc

     Other functions: $sampled, etc are trickier: They would apply

     only to class static members.

Dmitry:    Even 3213 proposal doesn't allow these functions in classes.

Manisha: Comment: 3213 says sampled value of an automatic is the

     currently value. That's not really correct, right? It should

     be the "const" value.

Erik: One option: treat long persisting classes as static variables.

Anupam:    Dave Rich also responded to proposal.

Erik: If automatic variable did not exist at prior clocking event, the

     $past function would return default time-0 value.

Tom: How do you distiguish class members from loop counter automatic

     variables.

Erik: For now just allow bit-vector functions. Defer disussion of

     sampled value functions for later.

Erik: Constraints:     allow bit-vector functions.

Dmitry: Request for reviewers for 3033

Tom, Ben:  Will review.

Meeting adjourned
Topic revision: r1 - 2011-06-20 - 22:46:45 - ErikSeligman
P1800