Uma Ferramenta para Otimização em Síntese de Alto Nível Baseada em Reconhecimento Funcional e Mapeamento de Componentes Documento