[sv-ac] reminder of SV-AC meeting 2008-03-04

Hi Folks:

 

An agenda is below.  Please let me know of other items

should be added.

 

D.K.

 

Meeting reminder for IEEE P1800 SV-AC meeting #2007-44: 

 

Date:  2008-03-04

Time:  16:00 UTC (08:00 PST) 

 

Dialin information:

-------------------

 

Toll number:   +1 916-356-2663

Toll free number (US): 888-875-9370 (U.S. toll-free),

 

Bridge: 4, Passcode: 5605726

 

Agenda:

-------

 

- Reminder of IEEE patent policy.

See: http://standards.ieee.org/board/pat/pat-slideset.ppt

 

- Election of a chair and of a co-chair.

 

- Extension schedule.

 

Items with actions in other committees:

. 1599 API and VPI changes for 0805

  - to be re-approved by SV-CC

. 1757 accept_on/reject_on

  - to be reviewed and approved by SV-CC

Note from JH: "To align with 1987, "verification statement" should be
changed to "assertion statement" or "concurrent assertion" as
appropriate. There are several occurrences."

 

. 1769 Elaboration-time assertions

- to be reviewed and approved by SV-BC

Address comments sent by DW

 

. 1898 Explicit mappings from assertion system tasks to callbacks

  - to be reviewed and approved by SV-CC

. 2005 Glitches with immediate assertions

  - to be reviewed and approved by SV-CC

. 2088 Covergroups in checkers

  - to be reviewed and approved by SV-EC

. 2089 Final procedure in checkers

  - to be reviewed and approved by SV-BC and SV-EC

. 2182 VPI diagrams for checkers

  - to be reviewed and approved by SV-CC

. 2250 VPI changes for LTL operators

  - to be reviewed and approved by SV-CC

 

Other:

- Checker proposal. Recent comments, initial procedure in checkers.

 

Opens.

---------------------------------------------------------------------
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.