[sv-ac] SV-AC meeting, April 27, 2010 (reminder)

Date: 2010-04-27
Time: 16:00 UTC (9:00 PDT)
Duration: 2 hours

Dial-in information:
--------------------

Toll number: +1 916-356-2663
Toll free number (US): 888-875-9370 (U.S. toll-free)
Bridge: 3 Passcode: 3065854

Agenda:
-------

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

- Minutes approval.

- Issue prioritization.

- Mantis item resolution and discussion.

2858: Clarify the rules for assigning a value to a non-checker variable from within a checker.
1551: Make disable iff sampled.
2484: deferred cover should have only statement_or_null, not a full action block
2228: Error in example in Clause 17.11.4.
2480: Bug note 7169 not implemented in 1668.
2916: Wrong font in 16.4.2
2807: Typing error: actual parameter in example not declared
2955: Checker example is wrong
2252: Several symbols in Annex F are in green
3020: Recursive property Restriction 4 is not consistent between Clause 16.13.17 and Annex F.7
2804: Need to clarify rule (b) in 16.15.6 to allow inferred clock when expression appears in procedural assertion
2732: Clarify timing diagram in Figure 16-4?Future value change
1933: 16.13.6 reference to triggered method can be improved
2387: Layout of 16.11 is inconsistent
2291: the description of $assertoff blurs assertions and attempts
2330: Clarify that number_of_ticks argument to $past must be compile-time constant
2362: 16.14 mention of assertion control system tasks is unconnected

- Opens.

Next meetings:
- May 11, 2010.
- May 25, 2010 (tentative).
---------------------------------------------------------------------
Intel Israel (74) Limited

This e-mail and any attachments may contain confidential material for
the sole use of the intended recipient(s). Any review or distribution
by others is strictly prohibited. If you are not the intended
recipient, please contact the sender and delete all copies.

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