This paper formulates a diagnosibility criterion to” determine the degree to which the fault diagnosis equationy=F(r) will be.solvable, given an “optimal” choice of test vectors. Since this criterion is a property of the circuit rather than the test algorithm, it can therefore be used as a design aid with which to choose test points and/or to aid in designing testable circuits.