ESPECIFICANDO FORMALMENTE TOPOLOGIAS PARA REDES EM CHIP

Resumo

Este artigo trata da utilização de métodos formais na especificação de topologias para redes em chip. As redes em chip apresentam similaridades com as redes tradicionais, entretanto, por estarem inseridas em sistemas embarcados apresentam características mais restritivas do ponto de vista de espaço, consumo de energia e latência. A topologia descreve o fluxo de dados através da rede e a estrutura física de como os dispositivos estão conectados, bem como, pode determinar o grau de escalabilidade e o desempenho de um sistema como todo. Este artigo apresenta especificações de topologias de redes em chip, relevantes para o projeto de sistemas embarcados, as quais poderão ser utilizadas no processo de síntese de alto nível.