Click on the advert above to visit the company web site
Product category: Design and Development Software
News Release from: Synopsys
Edited by the Electronicstalk Editorial Team on 12 February 2007
Mplicity uses Formality for equivalence
checking
Request your FREE weekly copy of the Electronicstalk email newsletter. News about Design and Development Software and more every issue. Click here for details.
Mplicity, a specialist in multicore IC design implementation, has standardised on Synopsys equivalence-checking software and retiming verification for customers of Mplicity's CoreUpGrade offering.
Mplicity, a specialist in multi-core IC design implementation, has standardised on the Synopsys Formality equivalence-checking software and its retiming verification methodology for customers of Mplicity's CoreUpGrade product The Formality software extends the reach of equivalence-checking technology to provide comprehensive verification that addresses complex design optimisations