On equivalence checking and logic synthesis of circuits with a common specification.

Eugene Goldberg

Published in: ACM Great Lakes Symposium on VLSI (2005)

Keyphrases

logic synthesis
quantum computing
multi valued
inductive learning
heuristic search
logic circuits
formal specification
machine learning
database
expert systems
relational databases
query processing
low cost