Espresso-HF: A Heuristic Hazard-Free Minimizer for Two-Level Logic.

Michael Theobald, Steven M. Nowick, Tao Wu

Browse the full DAC paper archive.