Synthesis for testability: circuits derived from ordered Kronecker functional decision diagrams.

Bernd Becker, Rolf Drechsler

Browse the full DATE paper archive.