Skip to main content

Table 4 Summary of results for the tested IIR filters

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