Fig. 3From: Bounded model checking for fixed-point digital filtersRealistic model of a single-pole quantized filterBack to article page