Multilevel logic synthesis.

Robert K. Brayton Gary D. Hachtel Alberto L. Sangiovanni-Vincentelli

Published in: Proc. IEEE (1990)

Keyphrases

logic synthesis
multi valued
heuristic search
quantum computing
inductive learning
logic circuits
database
search algorithm
high speed
random walk