Comment appelle-t-on la vérification, par un outil dédié, de la présence correcte de circuits de synchronisation aux points de transfert de signaux entre circuits fonctionnant sur des horloges différentes ?

Réponse : B. Vérification CDC (franchissement de domaines d'horloge)

Transmettre directement un signal entre horloges asynchrones provoque la métastabilité, état où la sortie de la bascule n'est ni 0 ni 1, ou la perte de données. La vérification CDC détecte automatiquement ces points de transfert dans la conception et vérifie la présence correcte de circuits de synchronisation comme les doubles bascules ou les FIFO asynchrones. Elle détecte des défauts rares et difficiles à reproduire, que la simulation ordinaire trouve difficilement.