Case Study: UPEK achieves faster time-to-market and improved design quality with Cadence Design Systems' Incisive Formal Verifier

UPEK - Customer Case Study

UPEK, a pioneer in biometric fingerprint technology, needed to make its IP flexible enough to plug into many different devices while a single team handled both design and verification. That created complex, time-consuming testbenches and threatened time to market, so the team sought a way to address verification earlier and more effectively in the flow.

UPEK adopted an assertion-based methodology using Cadence Incisive Formal Verifier alongside its existing Incisive Design Team Simulator, enabling automated pre-defined checks and faster ramp-up. The change let the team run formal checks weeks earlier, extend simulation debug capabilities, eliminate bugs sooner, and overall speed the design cycle while improving efficiency and product quality.

UPEK

Michele Borgatti

IC Design Manager