Quel est l'objectif de l'utilisation en vérification d'un modèle de référence (modèle doré) écrit en C ou autre ?

Réponse : B. Calculer par une autre méthode la même fonction que le circuit et comparer le résultat, comme valeur attendue, aux sorties du circuit

Le modèle de référence est une écriture logicielle simple de la fonction que le circuit doit réaliser, sans souci de temporisation. En appliquant les mêmes entrées au circuit et au modèle et en comparant les résultats, on génère automatiquement les valeurs attendues même pour de grandes quantités d'entrées aléatoires. S'il est réalisé par la même personne que la conception avec les mêmes malentendus, des erreurs passent inaperçues ; il est donc important de le construire indépendamment à partir de la spécification.