Jasper Design Automation Logo Formal Verification Unleashed!

Formal Verification Unleashed Jasper Design Automation Jasper Design Automation Contact Details Jasper Company Overview Jasper’s Formal Expert Support Jasper Design Automation's Customers Jasper-Formal Verification News and Events Jasper Design Automation Formal Verification Solutions Portfolio
Jasper Design Automation Contact Details Jasper Company Overview Jasper’s Formal Expert Support Jasper Design Automation's Customers Jasper-Formal Verification News and Events Jasper Design Automation Formal Verification Solutions Portfolio
 
News and Events
Jasper in the news
Jasper Press Releases
Jasper Technical Articles
Jasper Events
Jasper Multimedia and Video
Jasper- Formal Technology Newsletters
 

Press Releases

Jasper’s Kathryn Kranen Re-Elected As EDAC Vice Chair
 

MOUNTAIN VIEW, Calif. – April 20, 2010 – Jasper Design Automation, provider of advanced formal technology solutions, today announced its President and CEO, Kathryn Kranen, has been re-elected as Vice Chair of the Electronic Design Automation (EDA) Consortium.  As a board member for the past six years she has been active in promoting the contributions of private EDA companies, as well as demonstrating the significant return on investment (ROI) EDA brings to the semiconductor industry.

Kranen has 20 years of EDA industry experience and a proven management track record.  She was President and CEO of Verisity Design, and VP of North American Sales for Quickturn prior to joining Jasper.  In 2005, Kranen received the prestigious Marie R. Pistilli Women in Electronic Design Automation Achievement Award.

The EDA Consortium (EDAC) is the international association of companies that provide tools and services that enable engineers to create the world’s electronic products. EDA is the critical technology used to design electronics for the communications, computer, space technology, medical and industrial equipment and consumer electronics markets among others. For more information:  www.edac.org.

“I am pleased to continue serving our community through the activities of EDAC,” Kranen said.  “We are entering a time of great semiconductor innovation and proliferation, and the EDA industry is a fundamental enabler.  EDAC promotes the well-being and efficiency of the industry, as EDA continues to fuel to the ever-increasing complexity of the world’s electronic designs.”  

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.

# # #

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.

 
Copyrights © 2000 -2011 Jasper Design Automation, Inc. All rights reserved.
Privacy Policy | Trademarks