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

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

Published in: ICCAD (1990)

Keyphrases

logic synthesis
multi valued
heuristic search
boolean functions
quantum computing
inductive learning
logic circuits
knowledge base
search algorithm