Case Study on Logic Diagnosis for Industrial Circuits

Abstract : This paper presents a case study on logic diagnosis methodology based on the Effect-Cause approach implemented in the DERRIC tool. We first evaluate DERRIC on an industrial circuits coming from STMICROELECTRONICS. To manage the ST circuits we have to modify the DERRIC flow to take account the characteristics of such circuits. Basically two kinds of problems are considered, the syntax and the functional problems. Finally, we compare DERRIC results, in terms of diagnosis accuracy, with the industrial reference tool.
Type de document :
Communication dans un congrès
GDR SOC-SIP: System-On-Chip & System-In-Package, France. 2008
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-00343621
Contributeur : Alberto Bosio <>
Soumis le : mardi 2 décembre 2008 - 12:17:27
Dernière modification le : jeudi 24 mai 2018 - 15:59:24

Identifiants

  • HAL Id : lirmm-00343621, version 1

Collections

Citation

Youssef Benabboud, Alberto Bosio, Patrick Girard, Serge Pravossoudovitch, Laroussi Bouzaida, et al.. Case Study on Logic Diagnosis for Industrial Circuits. GDR SOC-SIP: System-On-Chip & System-In-Package, France. 2008. 〈lirmm-00343621〉

Partager

Métriques

Consultations de la notice

143