Verification algorithms for VLSI synthesis.

Gary D. Hachtel Reily M. Jacoby

Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1988)

Keyphrases

computational complexity
times faster
computationally efficient
computational cost
theoretical analysis
database
optimization problems
information systems
clustering algorithm
significant improvement
markov random field
signal processing
orders of magnitude
computational efficiency
face verification