Especificação, optimização e teste de algoritmos de controlo hierárquicos
Resumo
Este trabalho incide sobre a especificação de algoritmos de controlo, a sua verificação, optimização, conversão em código VHDL sintetisável (VHSIC Hardware Description Language) e depuração. O comportamento dos algoritmos de controlo é especificado utilizando Esquemas de Grafos Hierárquicos (HGSs – Hierarchical Graph Schemes). Esta é uma linguagem gráfica formal de especificação que se baseia na utilização de nodos ligados entre si de forma semelhante a um fluxograma. Este método de especificação suporta hierarquia e permite construir algoritmos utilizando uma notação que é independente do modelo de implementação do circuito. No âmbito deste trabalho foi construída uma ferramenta de software, chamada GraphBuilder, que consiste num ambiente integrado para especificação, optimização e teste de algoritmos de controlo hierárquicos. (...)