|Alguien dijo ...|
|Es de importancia para quien desee alcanzar una certeza en su investigación, el saber dudar a tiempo.|
Aristóteles(384 AD - 322 AD).
|Cadence Incisive Formal Verifier Helps UPEK Improve Design Team Productivity|
SAN JOSE, Calif. , Cadence Design Systems, Inc. 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."
Martes, 19 Diciembre, 2006 - 09:08