L’américain lance des outils de vérification formelle qui améliorent le développement et la réutilisation de blocs d’IP.

Cadence a étendu sa plateforme de vérification formelle JasperGold en lançant JasperGold Superlint et Clock Domain Crossing (CDC), deux outils qui répondent aux exigences du signoff au niveau RTL. Ils facilitent la réutilisation de blocs de propriété intellectuelle en effectuant les tests de signoff au stade RTL et non plus au niveau netlist. D’après Cadence, ces outils permettent d’éliminer jusqu’à 80% des modifications RTL tardives et de racourcir de plusieurs semaines les délais de développement d’IP.