On the testability of circuits derived from binary decision diagrams - Becker, Bernd; Drechsler, Rolf 1969-; Meinel, Christoph (1993)