Cadence Incisive Formal Verifier Helps UPEK Improve Design Team ProductivityOverall Ease of Use Helps Leading-Edge Biometric Security Solutions Provider Enable Fast Time to Market for OEMsSAN JOSE, Calif., 19 Dec 2006
Cadence Design Systems, Inc. (NASDAQ: CDNS) today announced that UPEK, Inc., a global leader in biometric fingerprint security solutions, has chosen to implement the Cadence® Incisive® Formal Verifier into its overall design flow for assertion-based formal analysis. With Incisive Formal Verifier, UPEK is able to begin verification of its security solutions earlier in the design process. This allows UPEK to improve design team productivity and bring products to market more quickly, enabling Original Equipment Manufacturers (OEMs) customers’ faster time to market when integrating fingerprint authentication into their PCs, flash drives, and other devices.
"Our team at UPEK was able to get up and running with the Cadence Incisive Formal Verifier as part of our production flow in days, which helped us save time and increase our overall productivity," said Michele Borgatti, IC Design manager, UPEK, Inc. "We found the underlying methodology that included automatic formal analysis checks, which are built into Incisive Formal Verifier, particularly valuable during our design process. Additionally, the assertion reuse as part of the integrated methodology, and tool synergies between formal analysis and simulation, enhanced our overall assertion-based verification capabilities, further reducing verification time."
Part of the Cadence Logic Design Solution’s "Design with Verification," Incisive Formal Verifier provides a more efficient way to perform block-level designer verification and close the loop on last-minute iterations within the design with high confidence. The software takes further steps to formally validate and ensure proper design fixes. This enables designers and verification engineers to verify individual blocks weeks prior to testbench simulation, and to accelerate design integration significantly, leading to faster project cycles and more productive designers which translates into cost savings in chip design.
"As a provider of integrated end-to-end biometric solutions for a wide range of applications, the quality of UPEK’s products are of the utmost importance," said Mitch Weaver, corporate vice president, Verification Division, Cadence. "We are pleased that UPEK is experiencing the benefits of Incisive Formal Verifier to effectively speed up the design process, allowing the company to deliver products that provide both the security and reliability customers have come to expect from UPEK."
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 systems. Customers use Cadence software and hardware, methodologies, and services to design and verify advanced semiconductors, printed-circuit boards and systems used in consumer electronics, networking and telecommunications equipment, and computer systems. Cadence reported 2005 revenues of approximately $1.3 billion, and has approximately 5,200 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