RE: An updated Assertion Documentation


Subject: RE: An updated Assertion Documentation
From: Vassilios.Gerousis@Infineon.Com
Date: Tue Jun 25 2002 - 23:19:12 PDT


My understanding is that this is the version compatible with other versions released, like the testbench. I will ask for you.

Vassilios

-----Original Message-----
From: Erich Marschner [mailto:erichm@cadence.com]
Sent: Tuesday, June 25, 2002 6:29 PM
To: Vassilios.Gerousis@Infineon.Com; assertion@eda.org
Subject: RE: An updated Assertion Documentation

Vassilios,

Is there any information available about what changed between the first version and this new version of the OpenVera Assertions document? There are no change bars in the later version, nor are there any comments that I could find about changes from the previous version.

Is this the final version of the donation? Or should we expect additional versions? If so, when is the donation expected to stabilize?

Regards,

Erich

-------------------------------------------
Erich Marschner, Cadence Design Systems
Senior Architect, Advanced Verification
Phone: +1 410 750 6995 Email: erichm@cadence.com
Vmail: +1 410 872 4369 Email: erichm@comcast.net

| -----Original Message-----
| From: Vassilios.Gerousis@Infineon.Com
| [mailto:Vassilios.Gerousis@Infineon.Com]
| Sent: Tuesday, June 25, 2002 11:41 AM
| To: assertion@eda.org
| Subject: An updated Assertion Documentation
|
|
| <<sv3.1_donation_part2_2.0.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=Balan
| str%2E;HNR=73
| -------------------------------------------------------------
| ---------------------------------------------------------------------
|
|
|



This archive was generated by hypermail 2b28 : Tue Jun 25 2002 - 23:20:50 PDT