[sv-ac] Minutes of SV-AC meeting 11/30/2010

Minutes from SV-AC Meeting
Date: 2010-11-30
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=5745158

Agenda:
-------
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt

- Minutes approval

- Email ballot results
2552: Confusing comments regarding nexttime operator
The issue passed: 10y/0n/0a

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

- Issue resolution/discussion
Addressing champions' feedback.

2330: Clarify that number_of_ticks argument to $past must be compile-time
        constant. John volunteered to update the proposal
2387: Layout of 16.11 is inconsistent
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
2927: Precedence between sequence/property operator and normal expression
        operator
2934: Precedence and associativity of case operator is not shown in the
table
3113: Add port_identifier to constant_primary BNF for sequences, properties
        and checkers

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

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 from last meeting
Scott: Second
        Vote results 7y, 0n, 0a

- Email ballot results
2552: Confusing comments regarding nexttime operator
The issue passed: 10y/0n/0a

- New issues
3295: need a way to control only asserts/covers/assume directives
Manisha: Thinking of adding arguments to control the type of
        assertions.
Ed: Assertion libraries like OVL give a way to turn off
Erik: But it's painful to have to re-compile for this.
Ed: How do you maintain backward compatibility.
Manisha: Make it an optional argument
Ed: But still would not be backward-compatible.

(Ben & Lawrence joined)
(Srini joined)

Erik: Looks like we will need a new more generalized function to do this
Scott: Then existing functions would be deprecated?
Manisha: Don't have to deprecate them this time around.
Scott: We'll probably need working-group permission to work on this.

- Issue resolution/discussion
Addressing champions' feedback.

2330: Clarify that number_of_ticks argument to $past must be compile-time
        constant. John volunteered to update the proposal

Dmitry: Language has been updated.
Scott: MOve to approve
Erik: Second
        Vote results: 9y, 0n, 0a

2387: Layout of 16.11 is inconsistent
        Erik has not updated proposal yet.

2557: Rules for passing automatic variables to sequence subroutines are
not clear
         Erik has not updated proposal yet.
Dmitry: There was an e-mail discussion regarding this item.

2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion
Erik: Still don't understand John's objection.
Dmitry: Defer to next week.

2927: Precedence between sequence/property operator and normal
expression operator

Scott: "Add at bottom of Table 16-3" Does this mean the addition is IN the
        table, or after the bottom of the table. It's not clear.
        Where does the text actually go?
Ed: Added text should go in the paragraph right before the table.
Tapan: Should we also add this text near Table 16-1 Operators in 16-1 are
        also included in 16-3?
Ben: After a second look, don't understand the confusion in the first
        place. It seems clear to me now.
Scott: It is a useful clarification.
Anupam: Danger of creating confusion by clarifying something that is already
        clear.
Erik: Uploaded the new proposal to Mantis

Erik: Move to approve modified proposal:
Scott: Second
        Vote results: 8y, 0n, 1a
        Anupam: abstain for reason given above. Concerned about creating
                confusion by clarifying something that is already clear.

3113: Add port_identifier to constant_primary BNF for sequences,
properties and checkers

Lawrence:
Erik: OK, I see that the BNF does forbid this case. but does the added
        footnote solve the problem?
Erik: Why don't we fix BNF?
Ed: Not sure we need to change anything.
Dmitry port_identifier is defined as identifier
Ed: Formal identifier is just an identifier
Manisha Def of constant_primary missing sequence_port_item.
Ed: There is a difference between formal arg and actual arg.
Manisha If we only check constant-ness after rewriting algorithm, then it's
        OK, but there is nothing that says this in LRM
Ed: LRM: Section F.3.3:

Dmitry: OK to add a brief discussion in the LRM describing this?

Ed: P 325: "Rewriting algorithm substitutes actual arguments for formal
        arguments. If the result is illegal, there shall be an error"
        So I don't see what the problem is.

Scott: P 363 The same wording is found for properties.
Dmitry: Missing that wording for checkers?
Ed: "Mechanism for passing arguments to a checker is similar to that for
        a property"
Ed: Think that we don't have to change anything.
Manisha: Agree w/ shalom: Footnote is not adding anything.

Dmitry: Out of time : defer to next time

Meeting time:
Srini: Wanted to move meeting to 7:30am
Manisha: Fine with this time right now.
Tom: Earlier time Would be too early

Will keep current meeting time for now, as there is no consensus to
change it.

Meeting adjourned.

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