Don't Care-Based BDD Minimization for Embedded Software.

Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich

Browse the full DAC paper archive.