"Atrenta's demonstrated leadership in static and formal technologies is recognised throughout the EDA industry and its technology is used by design and verification teams around the world," said Manoj Gandhi, pictured, general manager of Synopsys' Verification Group.
Atrenta has a range of software which is targeted at SoC design and verification and Gandhi expects to integrate this functionality into its Verification Continuum and Galaxy Design platforms.
"Synopsys expects to leverage this strong technology to further improve our Verification Continuum platform to address continually increasing verification challenges, and to support our ongoing R&D collaborations with customers in both verification and implementation," Gandhi added.
