Achieving Fast Formal Verification in Highly Configurable Design Environment

Since failure of an on-chip network leads to failure of the SoC, Sonics spends considerable time verifying its configurable IP. The company quickly turned to Cadence's JasperGold verification apps. In this video, Drew Wingard, explains how the algorithms,  packaging, made it easy for RTL developers.

最終変更: March 18, 2016

期間: 5 min