From: Bounded model checking for fixed-point digital filters
n
1
2
3
4
5
6
x(n)
y(n)
1.0000
1.5000
1.7500
1.8750
1.9375
1.96875