WHAT: Jasper Design Automation will present "The Spectrum of Applications for Formal Verification," and participate as an exhibitor at SemIsrael Verification Day in Tel Aviv next month. The event is hosted by SemIsrael ( www.semisrael.com), a news and information portal for electronic design engineers and related industries based in Israel. The complete agenda and registration information for SemIsrael Verification Day is available at: http://bit.ly/eURNcX.
WHEN: SemIsrael Verification Day will be held Wednesday, March 2.
Jasper presentation at 10:55am: "The Spectrum of Applications for Formal Verification"
WHERE: Green House, Tel Aviv
WHO: Ziyad Hanna, Jasper Vice President of Research, Chief Architect, and General Manager of Jasper Israel, Ltd.
About Jasper Design Automation
Jasper delivers industry-leading EDA software solutions for semiconductor design, verification, and reuse, based on the state-of-the-art formal technology. Customers include worldwide leaders in wireless, consumer, computing, and networking electronics, with over 200 successful chip deployments. Jasper, headquartered in Mountain View, California, is privately held, with offices and distributors in North America, South America, Europe, and Asia. Visit www.jasper-da.com to reduce risks; increase design, verification and reuse productivity; and accelerate time to market.
Jasper Design Automation and the Jasper Design Automation logo are trademarks or registered trademarks of Jasper Design Automation, Inc. All other trademarks mentioned are the property of their respective companies.
Contact: Jim Lochmiller lochpr For Jasper Design Automation (541) 292-0959 Email Contact