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