Date: 2010-12-14
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=3951973
Agenda:
-------
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
- Minutes approval
- Email ballot results
- New issues
- Issue resolution/discussion
Addressing champions¿ feedback.
2387: Layout of 16.11 is inconsistent
· Erik to make proposals consistent.
The proposal was opposed by the Champions in the email vote which ended
on October 30, 2010.
2557: Rules for passing automatic variables to sequence subroutines are
not clear
· Erik to modify the proposal and to remove the reference.
The proposal was opposed by the Champions in the email vote which ended
on October 30, 2010.
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion
The proposal was opposed by the Champions in the email vote which ended
on October 30, 2010.
3113: Add port_identifier to constant_primary BNF for sequences,
properties and checkers
The proposal was opposed by the Champions in the email vote which ended
on October 30, 2010.
2476: Need clarification about system functions $onehot, etc
- Enhancement progress update
3034: Allow continuous and blocking assignments in checkers
Arguments for system functions
3213: Update definition of sampled value
- 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-xxxxxxxxx-x-xxxxx--xxx] Laurence Bisht (Intel)
v[xxxxxxxxx-xxxxxxxxxxxxx-] Eduard Cerny (Synopsys)
v[--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen
n[-----xx-x-xxx-x--xxxxxxx] Surrendra Dudani (Synopsys)
v[-x-x--xx---xxxx---x-xxxx] Dana Fisman (Synopsys)
v[---xxxxx-xxxx-x-xxxxxxxx] John Havlicek (Freescale)
v[xxxxxxx-xxx-xxxxxxxxxxxx] Tapan Kapoor (Cadence)
t[xxxxxxx--xxxxxxxxxxxxxxx] Dmitry Korchemny (Intel ¿ Chair)
v[xxxxxxx--xxxxxx-xxxxxxxx] Scott Little (Freescale)
v[xxxxxx-xxxxxxxxx-xxxxxxx] Manisha Kulshrestha (Mentor Graphics)
v[xxxx-xxxxxxxxxxxxxxxxxxx] Anupam Prabhakar (Mentor Graphics)
v[x-xx-xxx-xx--xxxxxxx-xxx] Erik Seligman (Intel)
v[xx-xxxx--xxxxxx-xxxxxxx.] Samik Sengupta (Synopsys)
v[xxxxxx-xxxxxxxxxxxxx-xxx] Tom Thatcher (Oracle ¿ Co-Chair)
n[--x.....................] Srini Venkataramanan (?)
|- attendance on 2010-12-14
|--- voting eligibility on 2010-12-14
Minutes:
--------
- Reminder of IEEE patent policy.
See: http://standards.ieee.org/board/pat/pat-slideset.ppt
Participants were reminded of the policy
- Minutes Approval
Erik: Move to approve minutes from last meeting
Scott: Second
Vote results: 9y, 0n, 0a
- Meeting Schedule
Ed: On vacation next two weeks. Will be unable to host meeting.
Ed: Propose to have a holiday break in our meeting schedule
No objections
SV-AC meetings will resume on Jan 4.
- Issue resolution/discussion
Addressing champions' feedback.
2387: Layout of 16.11 is inconsistent
Erik to make proposals consistent.
Erik uploaded a new proposal. He just took out the changes to
section 20.13 that is modified by another proposal.
Tom: Move to approve the new proposal
Ed: Second
Vote results: 9y, 0n, 0a
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion
Erik: John wrote lenghty e-mail in objection.
Scott: John was concerned about substitutions that might cause problems
Code might be syntactically correct before substitution, but
incorrect after substitution.
Erik: Need a concrete example,
Scott: Will put one together
3113: Add port_identifier to constant_primary BNF for sequences,
properties and checkers
Lawrence: Neither Shalom or Francois has responded to questions about their
objections. Shalom is on vacation.
Manisha: Would it be better to enhance BNF?
After rewriting, the tool has to check correctness again.
Only items which are really constant will pass.
Dmitry: What about if you pass an event?
Lawrence: Other solution proposed: closing ticket as no change required
Erik: Currently if someone bases their parser on this BNF, it won't
be able to parse legal code.
Lawrence: Tried to change BNF at one point, but got into trouble.
Erik: Anything allowed to be passed as a port to sequence or property would
have to be usable anywhere within that sequence or property.
Lawrence: 16.6.1: Says event types are illegal in sequences.
Will wait for Shalom's comments before taking further action.
- Enhancement progress update
3034: Allow continuous and blocking assignments in checkers
Scott: Needs to be some more e-mail discussion
3213: Update definition of sampled value
No discussion
List of other items:
Scott: Working on 2328
Arguments for system functions
Manisha: LRM does not define the types of variables which can be passed
to system functions. There is a related Mantis item: 1559. Also
Manits 2476 is related.
Ed: You can already pass most types to system functions, but have to
explicitly cast to a bit-vector type before passing the argument to
the systm function.
Meeting adjourned
-- This message has been scanned for viruses and dangerous content by MailScanner, and is believed to be clean.Received on Tue Dec 14 10:03:00 2010
This archive was generated by hypermail 2.1.8 : Tue Dec 14 2010 - 10:03:08 PST