Résumé
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.