Skip to main content

Table 1 Overflow occurrence in the toy example

From: Bounded model checking for fixed-point digital filters

n 1 2 3 4 5 6
x(n) 1 1 1 1 1 1
y(n) 1.0000 1.5000 1.7500 1.8750 1.9375 1.96875