| ------------------------------------------------------------------------------ | |
| ------------------------------------------------------------------------------ | |
| -- - Author: Anthony Fernandes Pires | |
| -- - Version: 0.1 | |
| -- - Date: 2015/12/02 | |
| ------------------------------------------------------------------------------ | |
| -- - varout: the output variable | |
| -- - delta: the error delta | |
| ------------------------------------------------------------------------------ | |
| ------------------------------------------------------------------------------ | |
| next(varout) >= (next(input) - delta) & next(varout) <= (next(input) + delta) |