Skip to main content

Table 5 Summary of results for the tested cascade and parallel 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
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