SOURCE: Jasper Design Automation

Jasper Design Automation

February 18, 2010 12:20 ET

EASii IC Working With Jasper to Promote Formal Innovations in Europe

France's EASii IC Newest Member of JasperLinks™

MOUNTAIN VIEW, CA--(Marketwire - February 18, 2010) -  Jasper Design Automation (, provider of advanced formal technology solutions, today announced it is working with France's EASii IC (, a well-known European electronic-design consulting company, to accelerate the adoption of formal verification methods and increase understanding of how they apply across the entire spectrum of chip design, from architecture to signoff, with its customers. 

"At EASii IC we are proud to collaborate with the leading supplier of formal verification," said Francois Cerisier, IC Verification Expert, EASii IC. "We believe our combined efforts to provide expert services using Jasper tools will be a real advantage to our customers in order to get their projects right the first time, and on time."

"We look forward to opening new markets and applications for formal with EASii IC, and with the combined power of Jasper technology and EASii IC consulting solving a broad spectrum of design challenges," said Jasper Vice President of Marketing, Holly Stump. 

About JasperLinks

EASii IC becomes the newest member of JasperLinks which creates comprehensive solutions integrating Jasper formal verification with other EDA solutions and services in the SoC flow. JasperLinks is open to companies in the design ecosystem including IP vendors, design services firms and consultants, and EDA partners. Interested parties may contact Jasper for more information about the program at

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 to reduce risks; increase design, verification and reuse productivity; and accelerate time to market.

Jasper Design Automation, JasperLinks 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 Information

  • Contact:
    Jim Lochmiller, lochpr
    For Jasper Design Automation
    (541) 292-0959
    Email Contact