3 documents found, page 1 of 1
Uma metodologia para especificação e síntese de unidades de controlo reconfigur...
Melo, Andreia Barbosa deNesta tese toma-se um circuito digital estruturado de acordo com a comum divisão em unidade operacional (datapath) e unidade de controlo, e explora-se o projecto da unidade de controlo. Em concreto, explora-se o projecto de unidades de controlo complexas, que incluam reentrância e paralelismo. Além disso, explora-se a possibilidade de utilização de estruturas reutilizáveis que possam implementar diferentes unid...
Specification, Optimization and Testing of Hierarchical Control Algorithms
Melo, Andreia Barbosa de; Sklyarov, ValeryThis 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...
Especificação, optimização e teste de algoritmos hierárquicos
Melo, Andreia Barbosa deEste trabalho incide sobre a especificação de algoritmos de controlo, a sua verificação, optimização, conversão em código VHDL sintetisável (VHSI€ Hardware Description Language) e depuração. O comportamento dos algoritmos de controlo é especificado utilizando ksquemas de Grafos Hierárquicos (HGSs – Hierarckical Grapk Sckemes). ksta é uma linguagem gráfica formal de especificação que se baseia na utilização de n...