Cadence Incisive Formal Verifier Helps UPEK Improve Design Team Productivity

SAN JOSE, CA -- (MARKET WIRE) -- Dec 19, 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

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

Cadence and Incisive are registered trademarks, and the Cadence logo is a trademark of Cadence Design Systems in the United States and other countries. All other trademarks are the property of their respective owners.

For more information, please contact:
Doron Aronson
Cadence Design Systems, Inc.

Email Contact

Review Article Be the first to review this article

Featured Video
Senior Electrical Engineer for Allen & Shariff Corporation at Pittsburgh, Pennsylvania
Upcoming Events
SEMICON Southeast Asia 2018 at New Malaysia International Trade & Exhibition Centre (MITEC) Kuala Lumpur Malaysia - May 22 - 24, 2018
Methodics User Group Meeting at Maxim Integrated 160 Rio Robles San Jose CA - Jun 5 - 6, 2018
IEEE 5G World FOrum at 5101 Great America Parkway Santa Clara CA - Jul 9 - 11, 2018
PCB WEST 2018 Conference & Exhibition at Santa Clara Convention Center Santa Clara CA - Sep 11 - 13, 2018
DownStream: Solutions for Post Processing PCB Designs
TrueCircuits: IoTPLL

Internet Business Systems © 2018 Internet Business Systems, Inc.
25 North 14th Steet, Suite 710, San Jose, CA 95112
+1 (408) 882-6554 — Contact Us, or visit our other sites:
AECCafe - Architectural Design and Engineering TechJobsCafe - Technical Jobs and Resumes GISCafe - Geographical Information Services  MCADCafe - Mechanical Design and Engineering ShareCG - Share Computer Graphic (CG) Animation, 3D Art and 3D Models
  Privacy PolicyAdvertise