Cadence Design Systems, Inc. (NASDAQ: CDNS) said 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 Jasper team, led by Kathryn Kranen, will join the system and verification group reporting to senior vice president Charlie Huang.
Cadence enables global electronic design innovation and plays an essential role in the creation of today´s integrated circuits and electronics. Its website is at www.cadence.com.