From: Bounded model checking for fixed-point digital filters
# | Filter | Type | Overflow | Limit cycle | Timing | Error | ||||
---|---|---|---|---|---|---|---|---|---|---|
 |  |  | Result | Time | Result | Time | Result | Time | Result | Time |
12 | HP-Cascade-IIR | TDFII | Timeout | 7200 | Timeout | 7200 | FALSE | 2 | FALSE | 1584 |
13 | BS-Cascade-IIR | DFII | FALSE | 259 | Timeout | 7200 | FALSE | 7 | Timeout | 7200 |
14 | LP-Parallel-IIR | DFII | TRUE | 911 | FALSE | 3656 | FALSE | 3 | Timeout | 7200 |
15 | LP-Cascade-IIR | DFII | FALSE | 261 | FALSE | 4059 | FALSE | 3 | FALSE | 189 |
16 | Multiband-Parallel-IIR | TDFII | Timeout | 7200 | FALSE | 6668 | FALSE | <1 | Timeout | 7200 |