Don t Care-Based BDD Minimization for Embedded Software

Youpyo Hong, Peter A. Beerel, Luciano Lavagno, Ellen Sentovich. Don t Care-Based BDD Minimization for Embedded Software. In DAC. pages 506-509, 1998. [doi]

Abstract

Abstract is missing.