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

Hi Folks:

 

An agenda is below.  Please let me know if other items should be added.

 

D.K.

 

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

 

Date:  2008-03-18

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

 

Dialin information:

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

 

Toll number:   +1 916-356-2663

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

 

Bridge: 4, Passcode: 2101948

 

Agenda:

-------

 

- Reminder of IEEE patent policy.

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

 

Champions' results:

 

2173  Add case construct for properties

*	Passed

	*	Create a new Mantis item for vacuity and default issues
	*	Create a new Mantis item for the VPI stuff?

 

2100  Add synchronous resets

*	Passed

	*	Address Shalom's friendly amendments (done)

 

2069  Formal semantics for coverage is missing

*	Address John's and Lisa's comments

 

2005  Solution for glitch problem in immediate assertions

*	Passed

	*	Address friendly amendments

 

1932 Introduce LTL and other temporal operators

*	Resolve keyword issue

 

1852  Ballot Feedback Issue STU2: Declarations on Assertions

1849  Update VPI object diagrams for immediate assume, cover

1833  JEITA: 16.3 Precise definition of immediate assertion

1786  Definition of "if else" in Annex F seems broken

1982  16.7: Description of actual arguments is unclear and maybe 

                 also inconsistent with other description of $

*	Passed (as duplicate)

 

 

Other:

-          LP: Can the number of ticks in $past be variable?

-          LP: vpiAssertionReset and vpiAssertionKill for immediate
assertions

-          SB: 16.3 "shall" --> "will" (two occurrences)

-          SB: 1641: explicitly delete the phrase ", which can be
suppressed in a tool-specific manner" in 16.3.

-          DM: Ambiguity in concurrent assertions: string is not
allowed, string.len is (?), etc.

 

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.