Fig. 6From: Bounded model checking for fixed-point digital filtersC code for a Direct Form I filterBack to article page