Browsing Microelectronics by Subject "Coverage metrics"
Now showing items 1-1 of 1
-
VEasy : a tool suite towards the functional verification challenges
(2011) [Thesis]Esta dissertação descreve um conjunto de ferramentas, VEasy, o qual foi desenvolvido especificamente para auxiliar no processo de Verificação Funcional. VEasy contém quatro módulos principais, os quais realizam tarefas-chave ...