Consistency and observability invariance in multi-level logic synthesis.

Patrick C. McGeer Robert K. Brayton

Published in: ICCAD (1989)

Keyphrases

logic synthesis
multi valued
heuristic search
quantum computing
inductive learning
real time
logic circuits
reinforcement learning
expert systems