Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/SLSS-895KFL
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor1 | Antonio Otavio Fernandes | pt_BR |
dc.contributor.referee1 | Romanelli Ldron Zuim | pt_BR |
dc.contributor.referee2 | Diogenes Cecilio da Silva Junior | pt_BR |
dc.creator | Leonardo Vasconcelos Alves | pt_BR |
dc.date.accessioned | 2019-08-10T08:02:40Z | - |
dc.date.available | 2019-08-10T08:02:40Z | - |
dc.date.issued | 2010-08-31 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/1843/SLSS-895KFL | - |
dc.description.abstract | The capacity of cramming more components into integrated circuits has doubled roughly every 18 months since mid-1960, with projections to continue this pace until 2050. This growing complexity of computing devices leads the integrated circuit industry to invest more than 50% of development time in the stage of verification of new projects in order to minimize losses due to the replacement of defective components. This paper proposes an improvement for the combinational equivalence checking problem using pre-processing techniques based on hyper binary resolution, applied to graphs extracted from circuit implications. The text describes a tool that implements these techniques, and in the end the results shows the efficacy of hyper-binary resolution as a technique for simplification, but at the same time eliminate any structural information concerning the circuit under verification. | pt_BR |
dc.description.resumo | A capacidade de integrar cada vez mais componentes dentro de circuitos integrados tem dobrado a aproximadamente cada 18 meses desde meados de 1960, com previsões de continuar neste ritmo até 2050. Esta crescente complexidade de dispositivos computacionais leva a indústria de circuitos integrados a investir mais de 50% do tempo de desenvolvimento na etapa de verificação dos novos projetos, buscando minimizar prejuízos decorrentes da substituição de componentes defeituosos. Este trabalho propõe melhorar o processo de verificação de circuitos digitais combinacionais utilizando pré-processamento baseado em técnicas de hiper-resolução binária, aplicadas em grafos de implicações extraídas dos próprios circuitos. O texto descreve uma ferramenta que implementa estas técnicas; ao final são analisados os resultados obtidos que comprovam a eficiência da hiper-resolução binária como técnica de simplificação, mas que ao mesmo tempo eliminam quaisquer informações estruturais referentes ao circuito sob verificação. | pt_BR |
dc.language | Português | pt_BR |
dc.publisher | Universidade Federal de Minas Gerais | pt_BR |
dc.publisher.initials | UFMG | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject.other | Circuitos integrados Testes | pt_BR |
dc.subject.other | Análise combinatória | pt_BR |
dc.subject.other | Computação Tese | pt_BR |
dc.subject.other | Circuitos digitais integrados | pt_BR |
dc.title | Verificação de equivalência combinacional utilizando hiper-resolução binária | pt_BR |
dc.type | Dissertação de Mestrado | pt_BR |
Appears in Collections: | Dissertações de Mestrado |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
leonardovasconcelosalves.pdf | 3.66 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.