Cadence Design Systems has entered into a definitive agreement to acquire Jasper Design Automation for approximately $170 million in cash.
Jasper Design Automation is in to formal analysis sector, providing multiple verification solutions (Verification Apps) built on the JasperGold platform.
“Jasper’s products are recognized as the technology leaders in formal analysis, targeting complex verification challenges and increasing overall verification productivity,” said Charlie Huang, senior vice president of the System & Verification Group and Worldwide Field Operations at Cadence. “Jasper’s formal analysis solutions are used by customers today 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.”