Fig. 5From: Bounded model checking for fixed-point digital filtersAlgorithm of a Direct Form I filterBack to article page