Especificação, optimização e teste de algoritmos hierárquicos
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 (VHSI€ Hardware Description Language) e depuração. O comportamento dos algoritmos de controlo é especificado utilizando ksquemas de Grafos Hierárquicos (HGSs –...
| Main Author: | |
|---|---|
| Format: | masterThesis |
| Language: | por |
| Published: |
2019
|
| Online Access: | http://hdl.handle.net/10773/26066 |
| Country: | Portugal |
| Oai: | oai:ria.ua.pt:10773/26066 |