------------------------------------------------------------------------------
------------------------------------------------------------------------------
-- - 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)