Fig. 1From: Bounded model checking for fixed-point digital filtersSecond-order modulesBack to article page