A Bit Too Precise? Bounded Verification of Quantized Digital Filters.

Arlen Cox Sriram Sankaranarayanan Bor-Yuh Evan Chang

Published in: TACAS (2012)

Keyphrases

digital filters
significant bit
transfer function
discrete wavelet transform
median filter
low pass filter
genetic algorithm
infinite impulse response
finite impulse response
fir filters
iir filters
image quality