Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste
dc.contributor.advisor | Reis, Ricardo Augusto da Luz | pt_BR |
dc.contributor.author | Pinto, Ana Cristina Medina | pt_BR |
dc.date.accessioned | 2007-06-06T18:52:25Z | pt_BR |
dc.date.issued | 2002 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/10183/6068 | pt_BR |
dc.description.abstract | Este trabalho tem como objetivo estudar e avaliar técnicas para a aceleração de algoritmos de análise de timing funcional (FTA - Functional Timing Analysis) baseados em geração automática de testes (ATPG – Automatic Test Generation). Para tanto, são abordados três algoritmos conhecidos : algoritmo-D, o PODEM e o FAN. Após a análise dos algoritmos e o estudo de algumas técnicas de aceleração, é proposto o algoritmo DETA (Delay Enumeration-Based Timing Analysis) que determina o atraso crítico de circuitos que contêm portas complexas. O DETA está definido como um algoritmo baseado em ATPG com sensibilização concorrente de caminhos. Na implementação do algoritmo, foi possível validar o modelo de computação de atrasos para circuitos que contêm portas complexas utilizando a abordagem de macro-expansão implícita. Além disso, alguns resultados parciais demonstram que, para alguns circuitos, o DETA apresenta uma pequena dependência do número de entradas quando comparado com a dependência no procedimento de simulação. Desta forma, é possível evitar uma pesquisa extensa antes de se encontrar o teste e assim, obter sucesso na aplicação de métodos para aceleração do algoritmo. | pt_BR |
dc.format.mimetype | application/pdf | |
dc.language.iso | por | pt_BR |
dc.rights | Open Access | en |
dc.subject | Microeletrônica | pt_BR |
dc.subject | Cad : Microeletronica | pt_BR |
dc.subject | Geracao automatica : Testes | pt_BR |
dc.subject | Testes : Circuitos integrados | pt_BR |
dc.title | Um Estudo de técnicas de aceleração para algoritmos de análise de timing funcional baseados em geração automática de teste | pt_BR |
dc.type | Dissertação | pt_BR |
dc.identifier.nrb | 000480254 | pt_BR |
dc.degree.grantor | Universidade Federal do Rio Grande do Sul | pt_BR |
dc.degree.department | Instituto de Informática | pt_BR |
dc.degree.program | Programa de Pós-Graduação em Computação | pt_BR |
dc.degree.local | Porto Alegre, BR-RS | pt_BR |
dc.degree.date | 2002 | pt_BR |
dc.degree.level | mestrado | pt_BR |
Este item está licenciado na Creative Commons License
-
Ciências Exatas e da Terra (5097)Computação (1754)