SV-AC_Minutes_2011_06_28 < P1800

P1800 Web>SystemVerilogAssertionCommittee>SVACMeetingMinutes>SV-AC_Minutes_2011_06_28 (2011-07-08, ErikSeligman) (raw view)EditAttach
Minutes of SV-AC Meeting

Date: 2011-06-28

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

Agenda:

-------

- Reminder of IEEE patent policy.

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

- Minutes approval

- Email ballot results

Mantis 2412 Passed: 8y, 0n, 0a

- Champions Feedback

Mantis 3385 Possible ambiguity when deferred assertion action block

        (Erik)

        Opposed: Language: First person sentences, etc.

Mantis 2476 Need clarification about system functions $onehot, etc

        (Erik)

        Opposed: Consider using a queue of logic rather than

            fixed 4-bit argument.

Mantis 3113 Add port_identifier to constant_primary BNF for sequences,

         properties and checkers

        (Dmitry)

        Opposed: constant_range_expression too restrictive Mantis 3135 Verbal explanation of nexttime and always is misleading for

         multiple clocks.

        (Dana)

        Friendly Amendment: Font Problem

- New issues

- Issue resolution/discussion

3552:Sequence methods // .triggered need further clarification

     (Ben) (New proposal uploaded)

3195:Local Variables Flow Out Issue in and/or/intersect/implies

     (Ben) (Reviewed by Scott, Dana)

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

     (Manisha) (Resolved: Needs review by CC)

3113:

- Enhancement progress update

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---xxxx-xxx-xxx...........................] Ashok Bhatt (Cadence)

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

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

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

  n[---------------------------xx-x-xxx-x--xxxxxxx] Surrendra Dudani

(Synopsys)

  v[xxxxxx........................................] Shaun Feng (Freescale)

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

  n[-------------------------xxxxx-xxxx-x-xxxxxxxx] John Havlicek

(Freescale)

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

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

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

  v[xx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott Little

(Freescale)

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

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

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

  v[xx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta

(Synopsys)

  v[xxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿ Co-Chair)

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

  n[x.............................................] Vibarajan Viswamabhen (Marvell)

    |- attendance on 2011-06-28

  |--- voting eligibility on 2011-06-28

Minutes

-------

- Reminder of IEEE patent policy.

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

- Minutes Approval

Ben: Sent a correction to the Mantis number for a given proposal.

Erik: Move to approve Minutes with Ben's correction

Scott:     Second

     Vote Results:  10y, 0n, 0a

- Email ballot results

Mantis 2412 Passed: 8y, 0n, 0a

Jacob:    A Friendly amendment was missed in reporting the vote results:

     "Insert a reference to 17.3 in one of the paragraphs"

Anupam: Reference not really needed.

Scott:     Fine with inserting a reference.

Anupam:    After reviewing the proposal again, not happy with it.

     Champions objection was that modules had ports, not arguments.

     Had changed proposal so that checkers paragraph also refers to

     ports. But language elsewhere refers to checker arguments.

     Want to revert language for checkers back to use arguments.

Jacob:     On the other hand: BNF says checker ports.

Anupam:    Don't like the mixing of language that refers to checker port and

     formal arguments.

Manisha: BNF came from tasks & functions BNF, which is why it refers to

     ports. Prefer original language because that's how it it in the

     text.

(Samik joined)

Anupam:    Will revert language for checkers back to "formal arguments"

Tom: What is resolution of Jacob's friendly amendment.

Scott:     Think that Jacob's addition is fine.

Anupam:    No strong opinion.

Manisha:   Don't see a need to insert cross reference.

Jacob:     Either way is fine.

- Champions Feedback

Mantis 3385 Possible ambiguity when deferred assertion action block

        (Erik)

        Opposed: Language: First person sentences, etc.

Erik: Have found the language, will fix it and post a new version.

Tom: Will call for an e-mail vote when it is posted.

Mantis 2476 Need clarification about system functions $onehot, etc

        (Erik)

        Opposed: Consider using a queue of logic rather than

            fixed 4-bit argument.

Erik: Will implement queue suggestion as the argument for the function

     Should have proposal later this week.

Tom: Will call for an e-mail vote when it is posted.

Mantis 3113 Add port_identifier to constant_primary BNF for sequences,

         properties and checkers

        (Laurence)

        Opposed: constant_range_expression too restrictive

Erik: It is permissible that the BNF is more general than the language

     itself.

Jacob:     Don't know where requirement is stated that the range must be an

     elaboration-time constant.

     Now see the text, but text must be modified.

Laurence: Will contact Brad and understand objection to find a solution.

Mantis 3135 Verbal explanation of nexttime and always is misleading for

         multiple clocks.

        (Dana)

        Friendly Amendment: Font Problem

Dana: Will look at the proposal and fix it.

- Issue resolution/discussion

3552:Sequence methods // .triggered need further clarification

Note: New Mantis item 3595 had been created and assigned to SV-BC

     3552 is still assigned to SV-AC

Ben: Had uploaded a new proposal based on our discussions last week.

Tom: Will call for an e-mail vote on this proposal, then have SV-BC

     review.

Back to Mantis 2412: Amended proposal has been uploaded to Mantis.

Erik: Move to approve proposal to 2412

Anupam:    Second

     Vote results: 10y, 0n, 0a

3195:Local Variables Flow Out Issue in and/or/intersect/implies

     (Ben) (Reviewed by Scott, Dana)

Ben: Has uploaded a proposal for this item, and Scott has reviewed it.

Erik: Find this example compelling.

Ben: Example in proposal: uses "implies" , which is equivalent to

     not (a) or (b), where a, b can be properties.

    Consequent of implies can start evaluating before antecedant

     completes.

     As opposed to |-&gt; |=&gt; operators, where antecedant completse before

     consequent begins evaluation

     Proposal would require evaluation of antecedant first at any clock

     tick, and then "flow" the variables to the consequent for evaluation

     on that clock tick or any following clock tick.

Dana: You are trying to impose an order on an operator which is not ordered.

Dana: What you want is the semantics of PSL "forall"

Dana: You have that semantics for PSL "forall" by using constant rand

     when using formal verification.

     The problem is that for simulation, the semantics for constant rand

     checker variables do not give you the semantics of PSL forall.

     The question is how to define the semantics for simulation so that it

     implements the forall semantics.

Jacob:     Also, since arguments of "implies" are properties. They evaluate to

     true at time 0. This change would result in changes to rewriting

     rules.

Ben: Looks like this proposal should be dropped.

Mantis 3295:

Manisha:   Proposal was approved by AC

     But received two emails from Shalom:

     1. Referring to assert and cover as directives is not consistent

           with language in clause 16.

     2. Wy didn't we change BNF to merge assert_task and assert_action_task

Tom: Will ask Neil what the procedure should be for these changes.

Next meeting:

July 5 is a holiday at both Intel and Synopsys. The next meeting will be in two weeks.

Meeting Adjourned.
Topic revision: r1 - 2011-07-08 - 20:39:08 - ErikSeligman
P1800