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 CDCRens. : www.realintent.com