Timing Verification by Successive Approximation

Rajeev Alur Alon Itai Robert P. Kurshan Mihalis Yannakakis

Published in: Inf. Comput. (1995)

Keyphrases

successive approximation
asynchronous circuits
vector quantization
image compression
approximation methods
image processing
computational complexity
wavelet transform
computer simulation
image coding