Click on the advert above to visit the company web site
Product category: Design and Development Software
News Release from: Cadence Design Systems
Edited by the Electronicstalk Editorial Team on 06 February 2007
Design flow adds assertion-based formal
analysis
Request your FREE weekly copy of the Electronicstalk email newsletter. News about Design and Development Software and more every issue. Click here for details.
3Leaf Networks has incorporated the Cadence Incisive Formal Verifier into its overall design flow for assertion-based formal analysis.
3Leaf Networks, a leader in scalable enterprise data centres and virtual servers, has incorporated the Cadence Incisive Formal Verifier (IFV) into its overall design flow for assertion-based formal analysis With this Cadence technology, 3Leaf Networks' logic design teams will introduce assertions into the verification process and begin formal verification early in the design process
This article was originally published on Electronicstalk on 20 Nov 2001 at 8.00am (UK)