Jasper Introduces University Program for Formal Verification

Jasper Design Automation, provider of advanced formal technology solutions, announced the Jasper University Program, advancing the use and understanding of formal techniques in select universities worldwide. The three schools in the program are Portland State University, Portland, Oregon, United States; Chalmers University of Technology, Goteborg, Sweden; and the Universidade Federal de Minas Gerais, Minas Gerais, Brazil.

“Students greatly appreciate being exposed to an expert from Jasper in an introductory lecture and to a state-of-the-art commercial formal tool,” said Mary Sheeran, Professor, Computer Science and Engineering Department, Chalmers University of Technology. “Our experience has been extremely positive and this program is a great help in advancing students’ understanding of verification.”

“Jasper’s user-friendly formal tool really helped us in teaching the concepts of formal property verification,” added Fei Xie, Assistant Professor, Department of Computer Science, Portland State University.

The Jasper University Program provides market-leading formal verification tools and technology along with direct academic involvement to select universities throughout the world.

“Jasper collaborates with academia, through this university program and other mentorship and sponsorship opportunities, to bridge the gap between industrial challenges in verification and research agendas, to help advance formal technologies,” said Jasper’s Ziyad Hanna, Chief Architect and Vice President of Research.

For more information about the Jasper University Program, contact the company at: info@jasper-da.com.

About Jasper Design Automation
Jasper delivers industry-leading EDA 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, India and Japan.

Jasper Design Automation, the Jasper Design Automation logo, ActiveDesign, Behavioral Indexing, and JasperGold are trademarks or registered trademarks of Jasper Design Automation, Inc.