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.

上次修改时间: February 25, 2019

持续时间: 5 min