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 –...
| Autor principal: | |
|---|---|
| Formato: | masterThesis |
| Idioma: | por |
| Publicado em: |
2019
|
| Texto completo: | http://hdl.handle.net/10773/26066 |
| País: | Portugal |
| Oai: | oai:ria.ua.pt:10773/26066 |