Publications

Publications

< retour aux publications

Premiers résultats sur l'utilisation d'ACL2 pour l'évaluation de la conséquence des erreurs logiques

Auteur(s) : R. Clavel, L. Pierre, R. Leveugle

Doc. Source: 2ème Colloque du GdR SoC-SiP

Nous nous proposons de développer de nouvelles méthodologies, basées sur une combinaison de techniques d’injection de fautes et de méthodes formelles, pour l’analyse de la robustesse d’un circuit décrit au niveau RTL, vis à vis des erreurs créées par des fautes transitoires. Nous présentons ici nos premiers résultats quant à l’utilisation du démonstrateur de théorèmes ACL2, dans le contexte de systèmes avec dispositif de correction.