Implication graph based domino logic synthesis.

Ki-Wook Kim C. L. Liu Sung-Mo Kang

Published in: ICCAD (1999)

Keyphrases

logic synthesis
multi valued
quantum computing
heuristic search
inductive learning
logic circuits
functional dependencies
database
image processing
objective function
normal form