Click on the advert above to visit the company web site
Product category: Design and Development Software
News Release from: Cadence Design Systems | Subject: Incisive Formal Verifier
Edited by the Electronicstalk Editorial Team on 01 May 2007
Early verification boosts IC design
productivity
Request your FREE weekly copy of the Electronicstalk email newsletter. News about Design and Development Software and more every issue. Click here for details.
Unisys boosts productivity and overall quality, delivering advanced complex chips at multiple sites, by integrating the Incisive Formal Verifier into its design flow.
Unisys Corporation has incorporated Cadence Incisive Formal Verifier (IFV) into its design flow for assertion-based formal analysis Using IFV, Unisys experienced productivity gains and improvements in overall quality, delivering advanced complex chips at multiple sites