Subject: [sv-ac] FW: Final ASWG BNF
From: Faisal Haque (fhaque@cisco.com)
Date: Thu Mar 27 2003 - 08:08:25 PST
-----Original Message-----
From: Dave Rich [mailto:David.Rich@synopsys.com]
Sent: Wednesday, March 26, 2003 5:21 PM
To: Surrendra A Dudani; Neil Korpusik; Joao M Geada; Jay Lawrence;
Srouji, Johny; Bassam Tabbara; Vassilios.Gerousis@infineon.com;
Stephen.Meier@synopsys.com; fhaque@cisco.com
Subject: Final ASWG BNF
Attached is the final BNF document from the ASWG for your reference.
This
corresponds to the PDF file that was posted to the SV-AC
http://www.eda-twiki.org/sv-ac/hm/att-0640/01-sv_assertions_BNF_draft1_32603.p
df
-- -- Dave Rich Principal Engineer, CAE, VTG Tel: 650-584-4026 Cell: 510-589-2625 DaveR@Synopsys.com
This archive was generated by hypermail 2b28 : Thu Mar 27 2003 - 08:13:10 PST