VEasy : a tool suite towards the functional verification challenges
Ano de defesa: | 2011 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Tese |
Tipo de acesso: | Acesso aberto |
Idioma: | eng |
Instituição de defesa: |
Não Informado pela instituição
|
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: | |
Palavras-chave em Inglês: | |
Link de acesso: | http://hdl.handle.net/10183/34758 |
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. |
id |
URGS_97f2ee3088af17c077cee645bb28a035 |
---|---|
oai_identifier_str |
oai:www.lume.ufrgs.br:10183/34758 |
network_acronym_str |
URGS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
repository_id_str |
|
spelling |
Pagliarini, Samuel NascimentoKastensmidt, Fernanda Gusmão de Lima2011-11-23T01:19:55Z2011http://hdl.handle.net/10183/34758000788646Esta 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.This thesis describes a tool suite, VEasy, which was developed specifically for aiding the process of Functional Verification. VEasy contains four main modules that perform linting, simulation, coverage collection/analysis and testcase generation, which are considered key challenges of the process. Each of those modules is commented in details throughout the chapters. All the modules are integrated and built on top of a Graphical User Interface. This framework enables the testcase automation methodology which is based on layers, where one is capable of creating complex test scenarios using drag-anddrop operations. Whenever possible the usage of the modules is exemplified using simple Verilog designs. The capabilities of this tool and its performance were compared with some commercial and academic functional verification tools. Finally, some conclusions are drawn, showing that the overall simulation time is considerably smaller with respect to commercial and academic simulators. The results also show that the methodology is capable of enabling a great deal of testcase automation by using the layering scheme.application/pdfengMicroeletrônicaSimulação computacionalFunctional verificationSimulationCoverage metricsAutomationVEasy : a tool suite towards the functional verification challengesVEasy: um conjunto de ferramentas direcionado aos desafios da verificação funcional info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/doctoralThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em MicroeletrônicaPorto Alegre, BR-RS2011doutoradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT000788646.pdf.txt000788646.pdf.txtExtracted Texttext/plain207522http://www.lume.ufrgs.br/bitstream/10183/34758/2/000788646.pdf.txt9b0c14ea0bea9ce8c2aea796c693f72fMD52ORIGINAL000788646.pdf000788646.pdfTexto completo (inglês)application/pdf2049896http://www.lume.ufrgs.br/bitstream/10183/34758/1/000788646.pdf97569eb60f56ef4b7465aab6b41b7010MD51THUMBNAIL000788646.pdf.jpg000788646.pdf.jpgGenerated Thumbnailimage/jpeg1048http://www.lume.ufrgs.br/bitstream/10183/34758/3/000788646.pdf.jpg9ed4d739c13f331bd20b74bbcbeb920eMD5310183/347582021-05-07 04:55:31.56001oai:www.lume.ufrgs.br:10183/34758Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532021-05-07T07:55:31Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false |
dc.title.pt_BR.fl_str_mv |
VEasy : a tool suite towards the functional verification challenges |
dc.title.alternative.pt.fl_str_mv |
VEasy: um conjunto de ferramentas direcionado aos desafios da verificação funcional |
title |
VEasy : a tool suite towards the functional verification challenges |
spellingShingle |
VEasy : a tool suite towards the functional verification challenges Pagliarini, Samuel Nascimento Microeletrônica Simulação computacional Functional verification Simulation Coverage metrics Automation |
title_short |
VEasy : a tool suite towards the functional verification challenges |
title_full |
VEasy : a tool suite towards the functional verification challenges |
title_fullStr |
VEasy : a tool suite towards the functional verification challenges |
title_full_unstemmed |
VEasy : a tool suite towards the functional verification challenges |
title_sort |
VEasy : a tool suite towards the functional verification challenges |
author |
Pagliarini, Samuel Nascimento |
author_facet |
Pagliarini, Samuel Nascimento |
author_role |
author |
dc.contributor.author.fl_str_mv |
Pagliarini, Samuel Nascimento |
dc.contributor.advisor1.fl_str_mv |
Kastensmidt, Fernanda Gusmão de Lima |
contributor_str_mv |
Kastensmidt, Fernanda Gusmão de Lima |
dc.subject.por.fl_str_mv |
Microeletrônica Simulação computacional |
topic |
Microeletrônica Simulação computacional Functional verification Simulation Coverage metrics Automation |
dc.subject.eng.fl_str_mv |
Functional verification Simulation Coverage metrics Automation |
description |
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. |
publishDate |
2011 |
dc.date.accessioned.fl_str_mv |
2011-11-23T01:19:55Z |
dc.date.issued.fl_str_mv |
2011 |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/doctoralThesis |
format |
doctoralThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10183/34758 |
dc.identifier.nrb.pt_BR.fl_str_mv |
000788646 |
url |
http://hdl.handle.net/10183/34758 |
identifier_str_mv |
000788646 |
dc.language.iso.fl_str_mv |
eng |
language |
eng |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFRGS instname:Universidade Federal do Rio Grande do Sul (UFRGS) instacron:UFRGS |
instname_str |
Universidade Federal do Rio Grande do Sul (UFRGS) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
collection |
Biblioteca Digital de Teses e Dissertações da UFRGS |
bitstream.url.fl_str_mv |
http://www.lume.ufrgs.br/bitstream/10183/34758/2/000788646.pdf.txt http://www.lume.ufrgs.br/bitstream/10183/34758/1/000788646.pdf http://www.lume.ufrgs.br/bitstream/10183/34758/3/000788646.pdf.jpg |
bitstream.checksum.fl_str_mv |
9b0c14ea0bea9ce8c2aea796c693f72f 97569eb60f56ef4b7465aab6b41b7010 9ed4d739c13f331bd20b74bbcbeb920e |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS) |
repository.mail.fl_str_mv |
lume@ufrgs.br||lume@ufrgs.br |
_version_ |
1797064968213889024 |