Please use this identifier to cite or link to this item:
http://hdl.handle.net/1843/RVMR-7PVHSK
Full metadata record
DC Field | Value | Language |
---|---|---|
dc.contributor.advisor1 | Antonio Otavio Fernandes | pt_BR |
dc.contributor.referee1 | Claudionor Jose Nunes Coelho Junior | pt_BR |
dc.contributor.referee2 | Diogenes Cecilio da Silva Junior | pt_BR |
dc.contributor.referee3 | Jose Monteiro da Mata | pt_BR |
dc.creator | Alessandro Justiniano Mendes | pt_BR |
dc.date.accessioned | 2019-08-13T19:45:40Z | - |
dc.date.available | 2019-08-13T19:45:40Z | - |
dc.date.issued | 2008-12-04 | pt_BR |
dc.identifier.uri | http://hdl.handle.net/1843/RVMR-7PVHSK | - |
dc.description.abstract | As time goes by, integrated circuits are becoming ever more present in our lives. From the mobile phones we use to the cars we drive, we have almost constant interaction with electronic devices. This proliferation leads to the necessity for more agile and compact circuits, which in turn, makes them more complex and expensive. To produce error-free circuits, a considerable amount of time and money is spent on hardware verification during the design process. Equivalence checking of two combinational circuits is one of the most widely used techniques, which checks whether two combinational circuits (at any design level) that are given the same input data will produce equivalent output data. During the last few years, researchers have attempted to develop techniques to increase the verification of larger circuits and decrease the time spent on this task, but there has been no notable success for dissimilar circuits. This thesis presents and analyzes methodologies that rely on conflict clause reuse between circuit partitions during the equivalence checking of two dissimilar combinational circuits using a SAT solver. | pt_BR |
dc.description.resumo | Os circuitos integrados encontram-se cada dia mais presentes em nossas vidas. Dos celulares que falamos aos carros que dirigimos, em quase todos os momentos é possível encontrarmos um dispositivo eletrônico em ação. Isto gera uma crescente demanda por circuitos mais ágeis e compactos, fazendo com que estes se tornem complexos e caros. Uma parte considerável do tempo e dinheiro dedicados ao projeto e desenvolvimento de circuitos é destinado a verificar a presença de erros dos mesmos. A verificação de equivalência entre dois circuitos combinacionais é uma das técnicas mais utilizadas atualmente para verificar se, dadas as mesmas entradas para dois circuitos combinacionais, em qualquer estágio do projeto, eles geram saídas equivalentes. Por ser um tema atual, diversas abordagens têm sido propostas no intuito de aumentar a capacidade de verificar circuitos cada vez maiores em um menor espaço de tempo, entretanto nenhuma obteve notório sucesso quando os circuitos são dissimilares. Este trabalho apresenta e analisa metodologias para o reaproveitamento das cláusulas de conflito entre partições adjacentes durante a verificação de equivalência entre dois circuitos combinacionais dissimilares particionados, utilizando resolvedores SAT. | 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 | Circuitos | pt_BR |
dc.subject.other | Circuitos integrados Testes | pt_BR |
dc.subject.other | Circuitos integrados Projetos e construção Processamento de dados | pt_BR |
dc.subject.other | Eletrônica digital Testes | pt_BR |
dc.subject.other | Computação | pt_BR |
dc.title | Verificação de equivalência de circuitos combinacionais dissimilares através do reaproveitamento de cláusulas de conflito | 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 | |
---|---|---|---|---|
alessandrojustinianomendes.pdf | 1.61 MB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.