Global Sources
EE Times-Asia
Stay in touch with EE Times Asia
EE Times-Asia > EDA/IP

Cadence seeks comprehensive verification with Jasper

Posted: 22 Apr 2014 ?? ?Print Version ?Bookmark and Share

Keywords:Cadence? Jasper?

Cadence Design Systems, Inc. is buying Jasper Design Automation, Inc. for $170 million, a move that is expected to give the EDA giant an inclusive verification solution.

Jasper Design Automation is a strong player in the formal analysis sector, providing multiple verification applications built on the JasperGold platform. The acquisition will consolidate, as well as accommodate engineers in systems, semiconductor and IP companiesthose who increasingly adopt formal analysis to complement traditional verification methods. With verification representing over 70 per cent of the cost of developing a system-on-chip, it has become the top system and SoC development challenge and is the critical factor for time-to-market.

JasperGold features a common database that allows users to work seamlessly within and between different applications. It includes formal property verification, x-propagation, connectivity, executable specification, behavioural property synthesis, structural property synthesis, RTL development, architectural modelling among others.

Jasper's technology will be tightly integrated with Cadence's common debug analysis, formal and semi-formal solutions, simulation, acceleration, emulation and prototyping platforms, while leveraging its unified verification planning and metric-driven verification flow.

The combination will result in the most complete formal and semi-formal offerings in the industry, accelerating the expansion of the emerging formal analysis sector as Verification Apps for IP and SoC development move towards mainstream adoption.

"Jasper and Cadence serve top-tier customers that will benefit from expanded formal technology and a broader, tightly-integrated verification solution," said Kathryn Kranen, president and CEO of Jasper. "The verification technologies, when combined, will benefit customers through a comprehensive metric-driven verification approach that unites formal and dynamic techniques, realising the strength of each and leveraging the integration between them."

Cadence intends to finance the transaction with available cash and an existing revolving credit facility. The transaction is expected to close in the second quarter of fiscal 2014, subject to customary closing conditions including regulatory approvals.

Article Comments - Cadence seeks comprehensive verifica...
*? You can enter [0] more charecters.
*Verify code:


Visit Asia Webinars to learn about the latest in technology and get practical design tips.

Back to Top