Timing Verification by Successive Approximation.

Rajeev Alur Alon Itai Robert P. Kurshan Mihalis Yannakakis

Published in: CAV (1992)

Keyphrases

successive approximation
asynchronous circuits
vector quantization
entropy coding
multiresolution
wavelet transform
computer simulation
source coding