Testability preserving transformations in multi-level logic synthesis.

Janusz Rajski Jagadeesh Vasudevamurthy

Published in: ITC (1990)

Keyphrases

preserving transformations
logic synthesis
shape analysis
multi valued
heuristic search
differential geometry
quantum computing
conjunctive queries
inductive learning
logic circuits
shape space
image processing
power consumption
closed curves