language: en

[Kluwer Academic Publishers, Boston. Manufactured in The Netherlands.]

A Method for Automatic Design Error Location and Correction in Combinational Logic Circuits

AYMAN M. WAHBA AND DOMINIQUE BORRIONE
Modelisation et Preuves de Circuits, TIMA Laboratory,
BP 53X, 38041 Grenoble Cedex FRANCE
Ayman.Wahba@imag.fr, Dominique.Borrione@imag.fr

[Received ??. Revised ??.]

Abstract. We present a new diagnostic algorithm, based on backward-propagation, for localising design errors in combinational logic circuits. Three hypotheses are considered, that cover all single gate replacement and insertion errors. Diagnosis-oriented test patterns are generated in order to rapidly reduce the suspected area where the error lies. The originality of our method is the use of patterns which do not detect the error, in addition to detecting patterns. A theorem shows that, in favourable cases, only two patterns suffice to get a correction. We have implemented the test generation and diagnosis algorithms. Results obtained on benchmarks show that the error is always found, after the application of a small number of test patterns, with an execution time proportional to the circuit size.

Keywords: design correctness, design debugging, design error diagnosis

1. Introduction