Anastasios Vergis Kenneth Steiglitz Testability Conditions for Bilateral Arrays of Combinational Cells. 13-22 1986 35 IEEE Trans. Computers 1 db/journals/tc/tc35.html#VergisS86