Skip to main content

Table 2 Limit cycle in the toy example

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