Navegação TCC Ciência da Computação por Autor "Wilges, Peterson"
Resultados 1-1 de 1
-
Verificador temporal de propriedades em tempo de execução implementado em VHDL
Wilges, Peterson (2014) [Trabalho de conclusão de graduação]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 ...