PHIFACT, a Boolean Preprocessor for Multi-Level Logic Synthesis.

F. Crowet, Marc Davio, C. Dierieck, J. Durieu, G. Louis, Chantal Ykman-Couvreur

Browse the full ICCAD paper archive.