DocumentCode :
1132809
Title :
Truth-Table Verification of an Iterative Logic Array
Author :
Dias, Francisco J O
Author_Institution :
Department of Electrical Engineering, Escola Politécnica, University of São Paulo
Issue :
6
fYear :
1976
fDate :
6/1/1976 12:00:00 AM
Firstpage :
605
Lastpage :
613
Abstract :
This paper studies the problem of fault detection in iterative logic arrays (ILA´s) made up of combinational cells arranged in a one-dimensional configuration with only one direction for signal propagation. It is assumed that a fault can change the behavior of the basic cell of the array in an arbitrary way, as long as the cell remains a combinational circuit. It is further assumed that any number of cells can be faulty at any time. In this way, testing an array is equivalent to verifying the correctness of its truth table. That could be done exhaustively through the application of a set of tests whose size is exponential in N, the number of cells in the array. The procedure presented in this paper generates a test set whose size is constant (i.e., independent of the number N of cells in the array). Conditions (on the structure of the basic cell) for the application of this procedure are presented. A practical example illustrating the application of this procedure is presented. Bounds for the size of the derived test set are presented and it is shown how to modify the basic cell of an arbitrary array in order to test it with a constant number of tests.
Keywords :
Adder, cell, checking experiment, fault detection, iterative array, multiple fault, test, truth table.; Circuit faults; Circuit testing; Combinational circuits; Electrical fault detection; Fault detection; Helium; Logic arrays; Logic design; Logic testing; Wire; Adder, cell, checking experiment, fault detection, iterative array, multiple fault, test, truth table.;
fLanguage :
English
Journal_Title :
Computers, IEEE Transactions on
Publisher :
ieee
ISSN :
0018-9340
Type :
jour
DOI :
10.1109/TC.1976.1674660
Filename :
1674660
Link To Document :
بازگشت