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