Emulation/simulation d'un circuit logique

L'invention concerne un procédé d'émulation ou de simulation du fonctionnement en présence de perturbations d'un circuit susceptible d'exécuter une séquence de commandes, le circuit comportant des éléments logiques et des premiers éléments de mémorisation, comprenant les étapes suivantes : mettre le circuit dans un état incorrect, dans lequel la valeur d'au moins un élément de mémorisation est modifiée par rapport à un état correct du circuit ; lancer l'exécution d'une séquence de commandes ; fournir dans des seconds éléments de mémorisation, les valeurs normales que contiendraient les premiers éléments de mémorisation après l'exécution de chaque commande si le circuit avait été mis dans l'état correct ; comparer après chaque commande exécutée et au moyen de comparateurs activés simultanément, toutes les valeurs contenues dans les premiers et seconds éléments de mémorisation ; et arrêter l'exécution des commandes si les valeurs contenues dans les premiers et seconds éléments de mémorisation deviennent identiques