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 |