WHAT: Jasper Design Automation will present a paper “New Technologies in Formal Verification for Increased Design and Verification Productivity” at the upcoming SAME (Sophia Antipolis Forum on MicroElectronics – www.same-conference.org). The SAME 2010 Forum, Oct. 6-7, 2010 is an annual exhibition and technical conference attended by leading European and international microelectronics firms and suppliers, and their customers.
WHEN: Thursday, October 7, 12:30pm-2:00pm, “Lunch & Learn” session
WHERE: Multimedia Room, Le Centre International de Communication Avancée (CICA), Sophia Antipolis, France
WHO: Norris Ip, Director of Engineering, Jasper Design Automation, Mountain View, Calif., USA; and Adam Morawiec, ESCI and Jasper Design Automation, Grenoble, France
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 150 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.
|
