Browsing Computer Science - Undergraduate degree by Author "Wilges, Peterson"
Now showing items 1-1 of 1
-
Verificador temporal de propriedades em tempo de execução implementado em VHDL
Wilges, Peterson (2014) [Work completion of graduation]A verificação de projetos digitais é essencial para garantir o correto funcionamento e aumentar a confiabilidade de um sistema. Este trabalho visa fazer a verificação de sistemas reativos através de propriedades formais ...