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