New conditions for testability of two-dimensional bilateral arrays

Different sets of testability conditions for two-dimensional bilateral arrays are presented. Conditions are established with respect to the dependency of the testing process on the signal flow. Each set of testability conditions establishes the controllability and observability of a test vector. These conditions are proved to be applicable under different processing models related to the three inputs of each cell in the array. Complexity issues, such as number of test vectors and time units, are discussed.<>