Fig. 8From: Bounded model checking for fixed-point digital filtersOverflow in a Direct Form I filterBack to article page