From: Bounded model checking for fixed-point digital filters
a=0.510=0.10002 | a=−0.510=1.10002 | ||||
---|---|---|---|---|---|
n | y 2 | y 10 | n | y 2 | y 10 |
–1 | 0.0010 | 0.125 | –1 | 0.0010 | 0.125 |
0 | 1.0001 | –0.0625 | 0 | 0.0001 | 0.0625 |
1 | 0.0001 | 0.0625 | 1 | 0.0001 | 0.0625 |
2 | 1.0001 | –0.0625 | 2 | 0.0001 | 0.0625 |
3 | 0.0001 | 0.0625 | 3 | 0.0001 | 0.0625 |