Versão testada no maxplus, ise, quartus