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.
