Subject: Synopsys sv3.1_donation_Assertion
From: Vassilios.Gerousis@Infineon.Com
Date: Fri Jun 21 2002 - 07:49:15 PDT
This is fourth of the Synopsys donation. The designated committee is SV-AC. According to my yesterday email, this a new committee separated from the original one. The original one will be called OVL committee. This new committee will be called SV-AC. Tom Fitz, The co-chairman of this committee is on vacation. I will find a chairman or a person to lead this committee for a period of time. The TCC has started discussions on the synergy issue between Sugar and the planned enhancement of assertions within SV 3.1. The evaluation period will start ASAP in accordance to the TCC process. So please have patience with my team and we will arrive to fair assessment.
With the availability of this document, I expect that some of you will send me or my team
an assessment to help us formulate our viewpoint. I expect also the VFV team will
also provide us with good assessment.
<<sv3.1_donation_Assertion.pdf>>
------------------------------------------------------------------------------------------------------------------------------
Dr. Vassilios Gerousis Infineon Technologies
DAT CAD, MchB
Telephone: +49-89-234-21342 BalanSt. 73
Fax: +49-89-234-23650 D-81541 Munich
email: Vassilios.Gerousis@infineon.com Germany
Site Map: http://www.stadtplandienst.de/query;ORT=m;PLZ=81541;STR=Balanstr%2E;HNR=73
----------------------------------------------------------------------------------------------------------------------------------
This archive was generated by hypermail 2b28 : Fri Jun 21 2002 - 07:58:46 PDT