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=6023798

Agenda:
-------

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

- Minutes approval

- Email ballot results:
Issue 2476 passed with friendly amendments: 8y/0n/0a.
Issue 2578 passed with friendly amendments: 7y/0n/0a.
Issue 3033 failed: 4y/1n/0a.
Issue 3133 passed with friendly amendments: 8y/0n/0a.
Issue 3206 failed: 7y/1n/0a.
Issue 3385 failed: 7y/1n/0a.

- New issues

- Champions' feedback
3069 Relax rules for $global_clock resolution

- Issue resolution/discussion
2093: Checker construct should permit output arguments

- 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[xxx-xxx--xxx---xxxx-xxx-xxx...........................] Ashok Bhatt
(Cadence)
v[--xx--xxx-xxxxxx-xxxxxxxxxx-xxx-xxxxxxxxx-x-xxxxx--xxx] Laurence
Bisht (Intel)
v[xxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxxxxxxx-xxxxxxxxxxxxx-] Eduard
Cerny (Synopsys)
v[xx-xxxxxxxxxxx--------xx---xxx--x-xxxxxxx-xxxxx-xxxxxx] Ben Cohen
(Accellera)
n[-----------------------------------xx-x-xxx-x--xxxxxxx] Surrendra
Dudani (Synopsys)
n[------x-xxxxxx........................................] Shaun Feng
(Freescale)
n[--------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[xxxx---x-xxx-xx-xxxx-xxxxxxxxxxxxxxxx-xxx-xxxxxxxxxxxx] Tapan
Kapoor (Cadence)
v[xx---x-xx-xxxxx-xxxx-x-x..............................] Jacob Katz
(Intel)
t[xxxxxxxx--xxx-xxxxxxxxxxxxxxxxxxxxxxx--xxxxxxxxxxxxxxx] Dmitry
Korchemny (Intel � Chair)
v[xxxxxxxxxx-xxxxx-xxxx-xxxxxxxxxxxxxxx--xxxxxx-xxxxxxxx] Scott
Little (Freescale)
v[x-xxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxx-xxxxxxx] Manisha
Kulshrestha (Mentor Graphics)
v[xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx-xxxxxxxxxxxxxxxxxxx] Anupam
Prabhakar (Mentor Graphics)
v[-xxxxxxxxx--xxx-xxxx-xxx-xxx--x-xx-xxx-xx--xxxxxxx-xxx] Erik
Seligman (Intel)
v[xxxxx-xxxx-xxxxxxxxxx-x-xxx-xxxx-xxxx--xxxxxx-xxxxxxx.] Samik
Sengupta (Synopsys)
v[xxxx-xxxxxxxxxxxxx-xxxxxxxxxxxxxxxxx-xxxxxxxxxxxxx-xxx] Tom
Thatcher (Oracle � Co-Chair)
n[------------------xx---xx-------x.....................] Srini
Venkataramanan (CVC Pvt Ltd)
n[--------x.............................................] Vibarajan
Viswanathan (Marvell)
|- attendance on 2011-08-30
|--- voting eligibility on 2011-08-30

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

- Minutes approval
Scott: Move to approve minutes
Ben: Second
Vote results: 10y, 0n, 0a

- Email ballot results:
Issue 2476 passed with friendly amendments: 8y/0n/0a.
Scott generated a new PDF with no change tracking.
Scott: Move to approve proposal for 2476
Tom: Second
Vote results 10y, 0n, 0a

Issue 2578 passed with friendly amendments: 7y/0n/0a.
Ben: Added the "and"
Tom: Move to approve proposal for 2578
Scott: Second
Vote results: 10y, 0n, 0a

Issue 3113 passed with friendly amendments: 8y/0n/0a.
Ben: Suggested moving comment lines to a separate line so they don't
wrap around.
Dmitry: Moved comments to line before the related line.
Tom Move to approve proposal for 3113
Scott: Second
Vote results: 10y, 0n, 0a

Issue 3206 failed: 7y/1n/0a.
Scott: Erik had changed "at the instant" to "at the time" Wants to
know reason for
the change. Will get feedback from Erik.

Issue 3385 failed: 7y/1n/0a.
Scott: Felt that some wording was too loose. Will get feedback from Erik.

Issue 3033 failed: 4y/1n/0a.
Anupam: There's nothing in the proposal which prevents checker from
assigning
to checker arguments. Since checker arguments are substituted, an
assignment to a checker formal argument is an assignment to the actual
argument. This could be non-intuitive to have a checker modify the
signal connected to it.
Manisha: Her comments were addressed in updated proposal

Dmitry: Will update proposal and call for e-mail ballot.

- Champions' feedback
3069 Relax rules for $global_clock resolution

Dmitry: Got no feedback from SV-BC. Will wait one more week.
Scott: SV-EC and SV-BC met yesterday: SV-EC did not discuss this topic.

- Issue resolution/discussion
2093: Checker construct should permit output arguments

Jakob: Reviewed proposal
Anupam: Proposal has two semantics for connecting output port: one by
substitutions,
one by continuous assignment.

Anupam: Substitutions only works if type of output is the same as actual.
If not same, would need a continuous assignment.
Need a restriction that type of argument must match?
Jakob: In rest of language, there's no such restriction.
Dmitry: In properties, an output argument is allowed for a local variable.
Tried to match the semantics of the property output argument.
Jakob: For untyped output, the type of the formal should be inferred
from the actual
Manisha: How about a net connected to checker output. Continuous
assignment?
Scott: Checker ports: would they follow net port connection rules or
var port?
Modules: ports are net ports by default. have to declare a var port.
Do checkers have var ports by default?
Manisha What is difference between var ports and net ports
Scott: See 23.3.3
Jakob: In either case, it says there is a cont assign between formal and
actual.
Scott: Rules in 23.3.2 would apply for var ports
Anupam: Does it say in the proposal that checker output ports are
variable ports or
wire ports.
Dmitry: Since wires are not allowed in checkers, checker ports would be
var ports.
Scott: Don't see advantage for substitution semantics for output ports.
Current rules for output ports are defined.
Anupam: Fine with either semantic, as long as there is only one.
Jakob: With cont assign semantic, will need specific statement saying
formal port
type is inferred from actual (for untyped formal).
Jakob; One option is to require output ports to be typed.
Why would we need untyped checker outputs?
Ed: This would be the same as properties: Local variable outputs in
properties
must have a type.

Dmitry will create modified proposal. Anupam, Jakob, and Tom will review.

if-else property.
Anupam: Semicolon at the end is not required. Kind of strange.
It's legal either with or without an ending semicolon.
It's the only property expression that doesn't require a semicolon at
the end.
Couldn't come up with a way to specify it that was backward compatible.
Is anyone
Tom: Does it cause any compiler issue?

If nobody cares, we will drop the issue.

Meeting adjourned.