INTERNATIONAL STANDARD SERIAL NUMBERS (Translation and Original): 1406-0175We propose a new approach to generate diagnostic tests and localize single gate design errors in combinational circuits. The method is based on using the stuck-at fault model with subsequent translation of the diagnosis into the design error area. This allows to exploit standard gate-level automated test pattern generators for verification and design error diagnosis purposes. A powerful hierarchical approach is proposed for generating test patterns which, at first, localize the faulty macro (tree-like subcircuit), and then localize the erroneous gate in the faulty macro. Experimental data show the efficiency of the macro-level test generation and fault simulation com...
In combinational logic circuits, stuck-at faults are permanent faults that are modelled as logical p...
ISBN: 3540603859We present a new diagnostic algorithm for localising design errors in sequential cir...
At the stage of logic verification, it is necessary not only to detect but also to locate the source...
ISBN: 0818687045We propose a new approach to generate diagnostic tests and localize single gate desi...
International audienceA new approach to detecting and localizing single gate design errors in combin...
INTERNATIONAL STANDARD SERIAL NUMBERS (Translation and Original): 0923-8174We present a new diagnost...
. We present a new diagnostic algorithm, based on backward-propagation, for localising design errors...
ISBN: 0792377311We describe a new method for design error diagnosis in digital circuits that does no...
This thesis presents a new technique, the don't-care propagation method, for logic design verificati...
Abstract — In any circuit that comprises the logic gates, there is possibility of occurrence of fail...
In combinational logic circuits the generation of complete fault detection test sets requires the de...
This paper describes a diagnosis technique for locating design errors in circuit implementations whi...
A new method to fault diagnosis in combinational circuits is presented. We consider multiple stuck-a...
The development of cost-effective circuits is primarily a matter of economy. To achieve it, design e...
[[abstract]]This paper addresses the problem of locating error sources in an erroneous combinational...
In combinational logic circuits, stuck-at faults are permanent faults that are modelled as logical p...
ISBN: 3540603859We present a new diagnostic algorithm for localising design errors in sequential cir...
At the stage of logic verification, it is necessary not only to detect but also to locate the source...
ISBN: 0818687045We propose a new approach to generate diagnostic tests and localize single gate desi...
International audienceA new approach to detecting and localizing single gate design errors in combin...
INTERNATIONAL STANDARD SERIAL NUMBERS (Translation and Original): 0923-8174We present a new diagnost...
. We present a new diagnostic algorithm, based on backward-propagation, for localising design errors...
ISBN: 0792377311We describe a new method for design error diagnosis in digital circuits that does no...
This thesis presents a new technique, the don't-care propagation method, for logic design verificati...
Abstract — In any circuit that comprises the logic gates, there is possibility of occurrence of fail...
In combinational logic circuits the generation of complete fault detection test sets requires the de...
This paper describes a diagnosis technique for locating design errors in circuit implementations whi...
A new method to fault diagnosis in combinational circuits is presented. We consider multiple stuck-a...
The development of cost-effective circuits is primarily a matter of economy. To achieve it, design e...
[[abstract]]This paper addresses the problem of locating error sources in an erroneous combinational...
In combinational logic circuits, stuck-at faults are permanent faults that are modelled as logical p...
ISBN: 3540603859We present a new diagnostic algorithm for localising design errors in sequential cir...
At the stage of logic verification, it is necessary not only to detect but also to locate the source...