Mountain View, Calif. – Sept. 9, 2009 – Longtime collaborators Jasper Design Automation and Chalmers University of Technology (Göteborg, Sweden) have begun a joint research project to study formal verification of high-level circuit models, partially funded by a prestigious grant from the Swedish Research Council (Vetenskapsrådet), which awards grants to stimulate knowledge transfer between academia and industry.

“There are numerous areas we are very interested in exploring with our Jasper colleagues,” Koen Claessen, Associate Professor at Chalmers said. “It’s exciting to do research on a project that has a high degree of relevance for both industry and academia; this arrangement allows us to exchange knowledge with leading experts from both sides while still focusing on practical matters important in everyday hardware design.”

“We thoroughly enjoy this ongoing relationship with our Chalmers colleagues and look forward to exploring exciting new possibilities,” said Ziyad Hanna, Jasper Chief Architect and Vice President of Research. “I fully expect this project to achieve significant results that will allow us to deliver more powerful and scalable solutions to address the IC verification challenge.”

About Chalmers University of Technology
The Department of Computer Science and Engineering at Chalmers University of Technology has a strong history in formal verification research, with well-known researchers such as Mary Sheeran, Koen Claessen, John Hughes, and Reiner Hähnle. The project with Jasper Design Automation continues the department’s legacy of successful industry collaborations with notable organizations such as Intel’s Strategic CAD Labs, Microsoft Research, Ericsson, and Saab Space. For more information: http://www.chalmers.se/en/.

About the Swedish Research Council
The Swedish Research Council (Vetenskapsrådet) is the major national authority for research funding in Sweden. More information is available at http://www.vr.se.

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 100 successful chip deployments.  Jasper, headquartered in Mountain View, California, is privately held, with offices and distributors in North America, South America, Europe, and Japan.  Visit www.jasper-da.com for Targeted ROI: reducing risks; increasing design, verification and reuse productivity; and accelerating time to market.