From: Bounded model checking for fixed-point digital filters
# | Filter | Type | Overflow | Limit cycle | Timing | Error | ||||
---|---|---|---|---|---|---|---|---|---|---|
 |  |  | Result | Time | Result | Time | Result | Time | Result | Time |
1 | LP-IIR | DFI | FALSE | 3 | FALSE | 8 | TRUE | 1 | TRUE | 6 |
 |  | DFII | FALSE | 2 | FALSE | 13 | TRUE | <1 | TRUE | 4 |
 |  | TDFII | FALSE | 2 | FALSE | 8 | TRUE | <1 | TRUE | 4 |
2 | LP-Butterworth-IIR | DFI | FALSE | 2 | TRUE | 417 | FALSE | <1 | TRUE | 31 |
 |  | DFII | FALSE | 1 | TRUE | 709 | FALSE | 1 | FALSE | 5 |
 |  | TDFII | TRUE | 30 | FALSE | 447 | FALSE | <1 | TRUE | 32 |
3 | LP-IIR | DFI | TRUE | 10 | FALSE | 21 | TRUE | <1 | TRUE | 14 |
 |  | DFII | TRUE | 12 | FALSE | 55 | TRUE | 1 | TRUE | 10 |
 |  | TDFII | TRUE | 39 | FALSE | 135 | TRUE | <1 | TRUE | 12 |
4 | LP-IIR | DFI | TRUE | 4 | TRUE | 88 | TRUE | <1 | TRUE | 11 |
 |  | DFII | TRUE | 5 | TRUE | 106 | TRUE | <1 | TRUE | 9 |
 |  | TDFII | TRUE | 11 | FALSE | 101 | TRUE | <1 | TRUE | 10 |
5 | HP-ChebyshevI-IIR | DFI | TRUE | 10 | TRUE | 941 | FALSE | <1 | TRUE | 48 |
 |  | DFII | TRUE | 27 | TRUE | 1776 | FALSE | 1 | TRUE | 57 |
 |  | TDFII | TRUE | 14 | FALSE | 331 | FALSE | <1 | TRUE | 49 |
6 | BP-Elliptic-IIR | DFI | TRUE | 9 | FALSE | 37 | FALSE | 1 | TRUE | 53 |
 |  | DFII | FALSE | 2 | FALSE | 70 | FALSE | <1 | FALSE | 16 |
 |  | TDFII | TRUE | 11 | FALSE | 105 | FALSE | 1 | TRUE | 46 |
7 | BS-Butterworth-IIR | DFI | FALSE | 3 | FALSE | 437 | FALSE | <1 | FALSE | 17 |
 |  | DFII | FALSE | 2 | FALSE | 112 | FALSE | <1 | FALSE | 11 |
 |  | TDFII | TRUE | 117 | FALSE | 321 | FALSE | <1 | TRUE | 73 |
8 | BP-Elliptic-IIR | DFI | FALSE | 3 | TRUE | 8 | FALSE | 1 | FALSE | 168 |
 |  | DFII | FALSE | 2 | TRUE | 14 | FALSE | 1 | FALSE | 79 |
 |  | TDFII | FALSE | 2 | TRUE | 12 | FALSE | <1 | FALSE | 147 |
9 | HP-Butterworth-IIR | DFI | FALSE | 15 | FALSE | 1060 | FALSE | 1 | FALSE | 125 |
 |  | DFII | FALSE | 4 | FALSE | 1506 | FALSE | 1 | FALSE | 145 |
 |  | TDFII | Timeout | 3600 | FALSE | 1485 | FALSE | <1 | Timeout | 3600 |
10 | BP-ChebyshevI-IIR | DFI | TRUE | 96 | Timeout | 3600 | FALSE | 1 | FALSE | 255 |
 |  | DFII | FALSE | 11 | FALSE | 2395 | FALSE | 1 | FALSE | 106 |
 |  | TDFII | TRUE | 139 | FALSE | 2092 | FALSE | <1 | FALSE | 238 |
11 | HP-Elliptic-IIR | DFI | FALSE | 12 | Timeout | 3600 | FALSE | 1 | Timeout | 3600 |
 |  | DFII | FALSE | 4 | Timeout | 3600 | FALSE | 1 | Timeout | 3600 |
 |  | TDFII | FALSE | 5 | Timeout | 3600 | FALSE | 1 | Timeout | 3600 |