Fast Spectrum Computation for Logic Functions using Binary Decision Diagrams.

Masahiro Fujita, Jerry Chih-Yuan Yang, Edmund M. Clarke, Xudong Zhao, Patrick C. McGeer

Browse the full ISCAS paper archive.