Vérification des domaines d’horloges

Le 04/10/2007 à 0:00 par La rédaction

Meridian de Real Intent

Cet outil de vérification à base de preuve formelle cible l’analyse des CDC (Clock Domain Crossing) d’une conception.

Vérification des données traversant des domaines d’horloges asynchrones
Analyse des structures et des protocoles ad hoc pour un CDC
Enrichissement des tests de régression pour le sign-off des CDC

Rens. : www.realintent.com

Cet article n'est pas accessible publiquement.
Connectez-vous pour accéder à ce contenu.

Copy link
Powered by Social Snap