Processador de asserções para depuração de circuitos integrados em tempo de execução

Detalhes bibliográficos
Ano de defesa: 2004
Autor(a) principal: Jose Augusto Miranda Nacif
Orientador(a): Não Informado pela instituição
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Minas Gerais
UFMG
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:
Link de acesso: http://hdl.handle.net/1843/BUBD-9K9MDQ
Resumo: White-box verification is a technique that reduces observabihty problems by locating a failure during design simulation without the need to propagate the failure to the I/O pins. White-box verification in chip level designs can be implemented using assertion checkers to ensure the correct behavior of a design. With chip gate counts growing exponentially,today's verification techniques, such as white-box, can not always ensure a bug free design. This work proposes an assertion processor to be used with synthesized assertion checkers in released products to enable intelligent debugging of deployed designs. Extending white-box verification techniques to deployed products helps locate errors that were not found during simulation/emulation phases. We present results of the insertion of assertion checkers and an assertion processor in three different microprocessor cores. We also show that the insertion of these assertion checkers added minimal area and speed overheads to the design.