VEasy : a tool suite towards the functional verification challenges / VEasy: um conjunto de ferramentas direcionado aos desafios da verificação funcional
AUTOR(ES)
Samuel Nascimento Pagliarini
FONTE
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia
DATA DE PUBLICAÇÃO
2011
RESUMO
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 do processo de verificação como linting, simulação, coleta/análise de cobertura e a geração de testcases. Cada módulo é comentado em detalhe ao longo dos capítulos. Todos os módulos são integrados e construídos utilizando uma Interface Gráfica. Esta interface possibilita o uso de uma metodologia de criação de testcases estruturados em camadas, onde é possível criar casos de teste complexos através do uso de operações do tipo drag-and-drop. A forma de uso dos módulos é exemplificada utilizando projetos simples escritos em Verilog. As funcionalidades da ferramenta, assim como o seu desempenho, são comparadas com algumas ferramentas comerciais e acadêmicas. Assim, algumas conclusões são apresentadas, mostrando que o tempo de simulação é consideravelmente menor quando efetuada a comparação com as ferramentas comerciais e acadêmicas. Os resultados também mostram que a metodologia é capaz de permitir um alto nível de automação no processo de criação de testcases através do modelo baseado em camadas.
ASSUNTO(S)
functional verification microeletronica simulation simulação coverage metrics automation
ACESSO AO ARTIGO
http://hdl.handle.net/10183/34758Documentos Relacionados
- TOOKIMA : um conjunto de ferramentas para a descrição de animação modelada por computador
- Montagem de um conjunto experimental destinado à verificação do princípio da incerteza de Heisenberg
- St-Modeler : a clinical guidelines development and verification environment
- Os desafios na atenção aos usuários de álcool e outras drogas e a reabilitação psicossocial
- Conjunto de características para teste de desempenho : uma visão a partir de ferramentas