Dial-in information:
--------------------
Meeting ID: 38198

Live Meeting: https://webjoin.intel.com/?passcode=6362971

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

- Minutes approval

- SV-AC weekly meeting schedule

- Membership

- Email ballot results
2476: Need clarification about system functions $onehot, etc
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion.

Both issues passed: 11y/0n/0a. There were friendly amendments.

- New issues

- Issue resolution/discussion
3377: Fix method names in C.2.3 ended sequence method

- Enhancement progress update

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

Minutes
-------

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

Participants were remineded of the IEEE Patent policy.

- Minutes approval
Dmitry: Voting rights for a few members was incorrect.
Tom: Will make corrections and re-publish.
Samik: Move to approve minutes with corrections
Second Manisha,
Vote results: 9y, 0n, 0a

- Meeting Time:
Manisha: Since the US is back on Daylight Savings Time, we could move
meeting
backto 9am PDT.
Tom: Move to change meetint time ack to 9am PDT.
Manisha: Second
Vote results: 0n 0a

Next week, we will meet at 9am PDT.

- Membership
Dmitry: Because of new IEEE policy, All committee members must be
representatives of the following companies:
Cadence
Freescale
Intel
Marvell
Mentor
Oracle
Synopsys
Accellera

Currently only 2 members of SV-AC are affected.
Dmitry has sent e-mail to Karen asking whether Ben could attend as an
Accellera representative.

- Email ballot results
2476: Need clarification about system functions $onehot, etc
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when
expression appears in procedural assertion.

Dmitry: Since Erik is sick today, we'll discuss the friendly amendments
next week.

- Issue resolution/discussion
3377: Fix method names in C.2.3 ended sequence method
Dmitry: In the rest of the LRM, the method functions are listed by name,
without a preceding dot. This proposal simply applies that
covention to a paragraph in Appendix C.
Anupam: Should the text read "sequence method ended", rather than
"ended sequence method"?
Dmitry: Will make the change and we will vote on it next time.

- Enhancement progress update
Dmitry: Sent out today a list of open Mantis items.

3295: Assertion control system tasks
Manisha: Anupam has submitted comments
Anupam suggested not calling $asserton, $assertoff, etc "legacy tasks"
Dmitry: Entire example should be in Courier font.
System task names appearing in main text should be Courier font.
Lawrence: Could you add an exclude hierarchy as well.
If you do $assertKill on hierarchy A, followed by $assertOn on module
X, which is a sub-module of A, the $assertOn can't save the assertion
attempts which were already killed by the first $assertKill.
Anupam: Itroduce a control type {lock, unlock} in addition to {on, off,
kill}
The lock control type would prevent subsequent calls to $assertcontrol
from affecting the assertions in the give scope.

Lawrence: Should this locking only affect assertkill?
Anupam: The assert lock should affect all assertion directives.
Manisha: Will make changes and send out a new proposal for comments.

Anupam: Checker proposals: Should we ask working group for an opinion
on the idea of defining formal constructs that are illegal in
simulation?

Tom: I see this idea as more of a long-term direction: Something we might
consider in the next PAR. For this PAR, we should make incremental
changes.

- Sampling inside checkers
Dmitry: Proposal to modify definition of sampling was not acceptable.
Working on new proposal, which would define sampling for
concurrent context, vs. combinational context.

Meeting adjourned.