Fig. 2From: Bounded model checking for fixed-point digital filtersRound-off quantizer of l precision bits, with wrap around overflowBack to article page