Achieving Fast Formal Verification in Highly Configurable Design Environment

Sonics is a trusted leader in on-chip networks, which connect all components of a system. Since failure of an on-chip network leads to failure of the SoC, Sonics spends considerable time verifying its configurable IP. When Sonics began looking into formal verification, the company quickly turned to Cadence's JasperGold® verification apps. In this video, Drew Wingard, the company's co-founder and CTO, explains how the algorithms, as well as the packaging of those algorithms, made it easy for RTL developers to be productive quickly with formal verification, even in their highly configurable design environment.

Last Modified: May 27, 2016

Duration: 5 min