Dong Sam Ha Sudhakar M. Reddy On the Design of Testable Domino PLAs. 567-573 1985 conf/itc/1985 ITC db/conf/itc/itc1985.html#HaR85