On optimal extraction of combinational logic and don't care sets from hardware description languages.

Glenn Coln-Bonet, Eric M. Schwarz, D. G. Bostick, Gary D. Hachtel, Michael R. Lightner

Browse the full ICCAD paper archive.