------------------------------------------------------------------------------ | |
------------------------------------------------------------------------------ | |
-- - 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) & next(varout) != next(input) |