Author(s): Melo, Andreia Barbosa de ; Sklyarov, Valery
Date: 2001
Origin: Electrónica e Telecomunicações
Subject(s): Técnicas de especificação e optimização; Algoritmos de controlo; Implementação e teste em FPGAs; Specification and optimization techniques; Control algorithms; Implementation and testing in FPGAs
This work is devoted to the specification of control algorithms, their verification, optimisation, conversion to VHDL (VHSIC Hardware Description Language) code and real-time debugging. The behaviour of control algorithms is described by HGSs (Hierarchical Graph Schemes), which is a formal graphical specification language similar to flow charts. This method supports hierarchy and parallelism and allows building control algorithms using a notation that is independent of the circuit implementation model. Within the scope of this work, a software tool, called GraphBuilder, was developed. It consists of an integrated environment for specification, experimentation and test of hierarchical specifications. (...)
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. (...)
