Cadence Design Systems, Inc. (NASDAQ: CDNS), a leader in global electronic design innovation, today announced that it has completed the acquisition of Jasper Design Automation, Inc., a market and technology leader in the fast-growing formal analysis sector.

The completion of this transaction expands differentiation of Cadence’s System Development Suite, the industry’s first and broadest system design and verification platform. Integration of Jasper’s solutions with Cadence’s connected debug analysis and software and hardware verification platforms will improve customers’ ability to leverage Cadence’s unified verification planning, metric-driven verification flow, and extensive dynamic and formal Verification IP portfolio for embedded processor system verification. The combination of Jasper and Incisive® Formal technologies and expertise will result in the most complete formal and semi-formal offerings in the industry.

via Cadence Completes Acquisition of Jasper Design Automation.