Fast two-level logic minimizers for multi-level logic synthesis.

Hamid Savoj Abdul A. Malik Robert K. Brayton

Published in: ICCAD (1989)

Keyphrases

logic synthesis
multi valued
quantum computing
heuristic search
inductive learning
logic circuits
sufficient conditions
image processing
image sequences
search space
knowledge acquisition
random walk
low power