Skip to main content

Table 6 Summary of results for the tested FIR filters

From: Bounded model checking for fixed-point digital filters

#

Filter

Type

Timing

Error

   

Result

Time

Result

Time

17

LP-FIR

DFI

FALSE

1

Timeout

7200

18

Multiband-FIR

DFI

FALSE

1

TRUE

7915

19

Multiband-FIR

DFI

FALSE

1

Timeout

7200

20

LP-WiFi-FIR

DFI

FALSE

1

Timeout

7200