Cadence boosts verification portfolio in $170million deal

1 min read

In a move which is likely to strengthen its verification portfolio, Cadence is acquiring Jasper Design Automation for $170million in cash.

"Jasper's products are recognised as the technology leaders in formal analysis, targeting complex verification challenges and increasing overall verification productivity," said Charlie Huang, pictured, senior vice president of Cadence's System and Verification Group. "Jasper's formal analysis solutions are used by customers alongside Cadence's metric driven verification flow to form a broad verification solution. We look forward to welcoming Jasper's strong formal development expertise and skilled team to Cadence." According to Jasper, its customers are increasingly adopting formal analysis to complement traditional verification methods in order to deal with the growing challenge of verifying complex IP designs and SoCs. With verification representing more than 70% of the cost of developing an SoC, verification is seen to be the critical factor in getting products to market on time. Kathryn Kranen, Jasper's president and CEO, added: "Jasper and Cadence serve top tier customers who will benefit from expanded formal technology and a broader, tightly integrated verification solution." The two companies say the combination of their technologies and expertise will result in the most complete formal and semi formal offerings available.