[sv-ac] Reminder of SV-AC meeting 2008-03-25

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-48: 

 

Date:  2008-03-25

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

 

Dialin information:

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

 

Toll number:   +1 916-356-2663

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

 

Bridge: 4, Passcode: 7014135

 

Agenda:

-------

 

- Reminder of IEEE patent policy.

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

 

Working items:

2100 Synchronous aborts

            Voice vote to approve changes suggested by the champions
2008-03-13.

 

1757 Asynchronous aborts

            VPI part extracted into a separate proposal 2335.

 

 

Champions' results:

 

. 1901  Cycle delay for ## concatenation allows identifier to specify 

                 the delay w/o restricting to constant epxr

Approved.

 

. 1830  JEITA: A.2.10 There are no Sequence methods(ended, triggered, 

                 matched) in the BNF [added to my notes]

 

Rejected. No changes needed to BNF.

 

. 1806  Introduce "restrict property" verification statement

Conditionally approved contingent upon SV-BC and SV-CC approving the
keyword "restrict".

 

. 1698  The description of sampled value functions is insufficient

Sent back to SV-AC to clarify clock inferencing for $rose (and all of
the other sampled value functions).

 

. 1687  Wrong equivalence for $isunknown

Approved.

 

. 1686  assertion evaluation does not wait on subroutines

Approved.

 

. 1648  Default reset for assertions  [updated my notes]

Approved.

 

. 1601  new keyword for untyped formal arguments

Approved.

 

. 1599  The assertion API and VPI sections need changes as per 

                 mantis #805

Approved.

 

.1900 Checkers

Redo the relationships for 1900.

Recommend that the Working Group create a new sub-committee to address
the checker related  proposals, there should be members from all 4 of
the Technical Committees.

 

. 1769  sv-ac  Elaboration time user assertion and error reporting tasks

Approve contingent upon SV-BC approval.

 

. 2069  SV-AC  Formal semantics for coverage is missing

Approved/

 

 

Other:

*	Conditional extension request to address the champions' feedback
on 2008-04-10.

 

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.