[sv-ac] FW: SVA example code?

From: Faisal Haque \(fhaque\) <fhaque_at_.....>
Date: Sun Aug 14 2005 - 19:42:56 PDT
Forwarding a request from Jasper. If any of you know of SVA examples
please feel free to respond to him.
Regards,
-Faisal

________________________________

From: Craig Cochran [mailto:craig@jasper-da.com] 
Sent: Friday, August 12, 2005 3:37 PM
To: Faisal Haque (fhaque)
Subject: SVA example code?



Hi Faisal,

I'm Craig Cochran, VP of Marketing for Jasper.  I'm writing to you in
your role as head of the Accellerra SVA committee, to find out if you
can point us in the right direction to locate public code examples for
SVA.  Jasper is actively developing support for SVA and will need
examples on which to test our formal verification software.  Any help
you can provide would be greatly appreciated.

 

Thanks,

-Craig

 

___________________________________________________________

 

Craig Cochran                                                 
craig@jasper-da.com

Vice President of Marketing                                (650)966-0271

Jasper Design Automation, Inc.

 

 

 

 

 



image001.jpg
Received on Sun Aug 14 19:43:16 2005

This archive was generated by hypermail 2.1.8 : Sun Aug 14 2005 - 19:48:00 PDT