CIMdata PLM Industry Summary Online Archive
5 February 2007
Implementation Investments
3Leaf Networks Streamlines Logic Design Team Verification with Cadence Incisive Formal Verifier
Cadence Design Systems, Inc. announced that 3Leaf Networks, a leader in scalable enterprise data centers 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 will allow 3Leaf Networks to increase its design verification throughput and improve design quality on its complex control blocks by enhancing and streamlining its previous simulation-only verification process.
After initial evaluations of IFV, 3Leaf Networks realized that its logic designers were performing verification weeks or even months prior to simulation. By working closely with Cadence they were able to get up and running much earlier than predicted, and establish reusable assertion-based verification methods across formal analysis and simulation that has become the foundation for design team verification.
"As new users of the Incisive Formal Verifier technology and assertion-based verification, we were somewhat surprised to see such dramatic quality and schedule improvements," said Bob Quinn, CEO, 3Leaf Networks. "Recent complexities have been seriously testing the capabilities of simulation alone. IFV brought on a new way of thinking about verification by offering an easy path for our designers to get involved in the process, with the ability to find bugs much earlier."
Part of the Cadence Logic Design Team Solution, Incisive Formal Verifier provides an efficient way to perform early verification. The technology exposes most functional bugs early in the development of the design, including complex corner-case bugs and protocol compliance violations, while also verifying problem-prone areas. Other technologies from the Logic Design Team Solution in use at 3Leaf include Incisive® Design Team Simulator, Encounter® RTL Compiler, Encounter® Conformal® Equivalence Checker, and First Encounter.
"We know how important it is for our customers to get their logic design teams involved in the verification process," said Mitch Weaver, corporate vice president, Verification Division, Cadence Design Systems, Inc. "Our successful IFV solution is quickly becoming the cornerstone of design team verification by offering an easy to adopt methodology, resulting in improved project schedules and greater predictability."
3Leaf Networks' success with IFV is described in detail at http://www.cadence.com/company/success_stories/success.aspx?
Become a member of the CIMdata PLM Community to receive your daily PLM news and much more.
Tell us what you think of the CIMdata Newsletter. Send your feedback.
CIMdata is committed to your privacy. Your personal information will never be sold or shared outside of CIMdata without your express permission.