Resumo
Este relatório apresenta as características das linguagens de descrição de hardware existentes no sistema AMPLO que suportam a integridade do processo de projeto de sistemas digitais. Em especial, é completamente descrita a linguagem REDES, que permite a descrição de sistemas como redes de agência hierarquizadas, contendo agências descritas em diferentes níveis de abstração.
Abstract
This report presents the features of the hardware description languages implemented in the AMPLO system, that support the integrity of the digital systems design process. In particular, the REDES language is completely described. It allows the description of systems as nets of hierarchical agencies, which can contain agencies described at different abstraction leveis.
