Subject: [sv-ac] Updated Assertion chapter
From: Surrendra Dudani (Surrendra.Dudani@synopsys.com)
Date: Fri Apr 11 2003 - 19:42:32 PDT
Hi All,
Attached is the assertion chapter and the BNF section. This document is
still in the original format before draft4. However, the contents are up to
date. I need to incorporate more changes based on the feedback received
today. We will have the final version on Monday. Specifically, please note
and review
1) the modified BNF that relates to the event control placement for properties
2) the template section has been removed
Figures still need to be updated and added at some places.
Surrendra
**********************************************
Surrendra A. Dudani
Synopsys, Inc.
377 Simarano Drive, Suite 300
Marlboro, MA 01752
Tel: 508-263-8072
Fax: 508-263-8123
email: Surrendra.Dudani@synopsys.com
**********************************************
This archive was generated by hypermail 2b28 : Fri Apr 11 2003 - 19:47:13 PDT