Evaluation and improvement of Boolean comparison method based on binary decision diagrams.

Masahiro Fujita, Hisanori Fujisawa, Nobuaki Kawato

Browse the full ICCAD paper archive.