Title :
An Improved Bound on the Length of Checking Experiments for Sequential Machines with Counter Cycles
Author_Institution :
Department of Electrical Engineering, The Johns Hopkins University, Baltimore, Md. 21218.
fDate :
6/1/1972 12:00:00 AM
Abstract :
The bound on the length of checking experiments derived by Murakami et al. [1] is improved by using a more efficient output specification in the counter cycle.
Keywords :
Automata; Circuit synthesis; Counting circuits; Fault detection; Fault diagnosis; Sequential circuits; Shift registers; Switching circuits; Testing; Upper bound; Checking sequence; fault detection; fault diagnosis; sequential machine with fault-detection capabilities;
Journal_Title :
Computers, IEEE Transactions on
DOI :
10.1109/TC.1972.5009016
