Siemens Expands its Use of Cadence Incisive Formal Verifier to Improve Time to MarketExpanded Deployment of Formal Analysis further improves overall design and verification processSAN JOSE, Calif., 31 Jul 2006
Cadence Design Systems, Inc. (NASDAQ: CDNS) today announced that Siemens has expanded its deployment of the Cadence® Incisive® Formal Verifier into its design flow for assertion-based formal analysis. Using Incisive Formal Verifier, Siemens experienced improvements in verification efficiency and reduced risks related to functional quality of complex designs.
"Cadence has brought early design formal analysis to the designer," said Ulrich Fuchs, ASIC Manager, Siemens Automation & Drives. "We have fully adopted and are expanding our usage of Incisive Formal Verifier improving our overall design and verification process."
Part of the Incisive Design Team family, Incisive Formal Verifier provides a more efficient way to perform block-level designer verification and close the loop on last-minute iterations with high confidence of producing a successful design. The technology can quickly expose most functional bugs during the early phases of the design process, including complex corner-case design bugs, and it can further validate proper design fixes.
"Broad production-flow deployments of Incisive Formal Verifier are becoming common-place in leading companies, and we are pleased to count Siemens among them," said Moshe Gavrielov, executive vice president and general manager, Verification Division, Cadence Design Systems, Inc.
Launched in May 2005, Incisive Formal Verifier has been used in production flows worldwide for competitive markets in consumer, communications, computer, networking, graphics and system-on-chip (SoC) designs. Design and verification engineers can verify design blocks months prior to testbench simulation, resulting in faster, more cost-efficient overall chip design and verification.
About Cadence For more information, please contact:
Cadence enables global electronic-design innovation and plays an essential role in the creation of today's integrated circuits and electronics. Customers use Cadence software and hardware, methodologies, and services to design and verify advanced semiconductors, consumer electronics, networking and telecommunications equipment, and computer systems. Cadence reported 2005 revenues of approximately $1.3 billion, and has approximately 5,100 employees. The company is headquartered in San Jose, Calif., with sales offices, design centers, and research facilities around the world to serve the global electronics industry. More information about the company, its products, and services is available at www.cadence.com