[sv-ac] PSL / OVA Comparison for today's meeting

Subject: [sv-ac] PSL / OVA Comparison for today's meeting
From: Erich Marschner (erichm@cadence.com)
Date: Thu Sep 26 2002 - 08:59:41 PDT

• Next message: Vassilios.Gerousis@Infineon.Com: "[sv-ac] Synchronization Activities of the Assertion Kernel"
• Previous message: Faisal Haque: "[sv-ac] Voting clarification"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

Attached is a pdf file that compares and contrasts features of PSL and OVA, for presentation in the meeting today. The OVA content has been reviewed and approved by Steve Meier; the PSL content has been reviewed and approved by Cindy Eisner.

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

• application/octet-stream attachment: PSL_OVA_Comparison.pdf

• Next message: Vassilios.Gerousis@Infineon.Com: "[sv-ac] Synchronization Activities of the Assertion Kernel"
• Previous message: Faisal Haque: "[sv-ac] Voting clarification"
• Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b28 : Thu Sep 26 2002 - 09:02:08 PDT