Fig. 7From: Bounded model checking for fixed-point digital filtersA digital-system verification input file for DSVerifierBack to article page