área de pesquisa GERAÇÃO DE ESPECIFICAÇÕES EXECUTÁVEIS PARA O PROJETO DE MÓDULOS PARA SISTEMAS ON CHIP Rafael Nunes Linhares Papa