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