Um núcleo inteligente para processamento distribuído de resolvedores SAT em verificação por equivalências

• Ano de defesa: 2006
• Autor(a) principal: Marcia Carolina Marra de Oliveira
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Minas Gerais; UFMG
• Palavras-chave em Português: processamento distribuido; Circuitos eletronicos Projetos Processamento de dados; Computação; Circuitos integrados Verificação; Processamento eletrônico de dados Processamento distribuído
• Link de acesso: http://hdl.handle.net/1843/RVMR-6TJRJ6

Equivalence Checking is one the of the key components in formal verification for digital systems. It is also one of the most widely used approaches in industry for functional equivalence verification of different designs. A number of recently proposed BDD and SAT based approaches have met with considerable success in this area. However, the growing gap between the current solvers capabilities and the increasing complexity in digital designs lead to exploring alternative, better solutions. This work proposes an intelligent kernel for distributed processing of SAT solvers in Equivalence Checking. Specifically, the proposed kernel exploits a new technique for identifying structural similarities between the circuits. Finally, results of verification using the proposed methodology are presented.