Um método de equivalência de funções Booleanas através de grafos bipartidos

Detalhes bibliográficos
Autor(a) principal: Silva, Anderson Santos da
Data de Publicação: 2013
Tipo de documento: Trabalho de conclusão de curso
Idioma: por
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/86280
Resumo: Atualmente uma das etapas mais críticas no fluxo de projeto de circuitos integrados é a etapa denominada mapeamento tecnológico. Essa dificuldade se deve ao fato que esta etapa precisa resolver um problema NP-completo denominado equivalência Booleana. A proposta deste trabalho é a de acelerar esse processo representando uma função Booleana através de um grafo bipartido, e utilizar esta estrutura para calcular Pequivalência por permutação, uma etapa da equivalência Booleana. O grafo bipartido gerado é denominado Grafo Bipartido Booleano, ou GBB. Diversos métodos de resolução são apresentados e uma discussão quanto à qualidade deles é exposta. Os resultados mostram que essa estrutura é correta e que pode ser utilizada para calcular eficientemente equivalência por permutação. Trabalhos futuros vão desde estender esta abordagem para outros tipos de equivalência até a utilização do GBB para resolução de outros problemas na área de síntese de circuitos digitais.
id UFRGS-2_f29ca047dc1271f62e7eb9dd6d9206dd
oai_identifier_str oai:www.lume.ufrgs.br:10183/86280
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Silva, Anderson Santos daRibas, Renato Perez2014-01-21T01:51:23Z2013http://hdl.handle.net/10183/86280000909809Atualmente uma das etapas mais críticas no fluxo de projeto de circuitos integrados é a etapa denominada mapeamento tecnológico. Essa dificuldade se deve ao fato que esta etapa precisa resolver um problema NP-completo denominado equivalência Booleana. A proposta deste trabalho é a de acelerar esse processo representando uma função Booleana através de um grafo bipartido, e utilizar esta estrutura para calcular Pequivalência por permutação, uma etapa da equivalência Booleana. O grafo bipartido gerado é denominado Grafo Bipartido Booleano, ou GBB. Diversos métodos de resolução são apresentados e uma discussão quanto à qualidade deles é exposta. Os resultados mostram que essa estrutura é correta e que pode ser utilizada para calcular eficientemente equivalência por permutação. Trabalhos futuros vão desde estender esta abordagem para outros tipos de equivalência até a utilização do GBB para resolução de outros problemas na área de síntese de circuitos digitais.Currently one of the most critical steps in the design flow of integrated circuits is the step called technology mapping. This difficulty is due to the fact that this step needs to solve an NP-complete problem called Boolean matching. The purpose of this work is to accelerate this process representing a Boolean function by a bipartite graph, and use this approach to calculate Boolen equivalence by permutation, a step of Boolean matching. The bipartite graph generated is called Bipartite Boolean Graph, or GBB. Various methods of resolution are presented and a discussion about the quality of them is exposed. The results show that this structure is correct and can be used to efficiently compute equivalence by permutation. Future work will extend from this approach to other types of equivalence to the use of GBB to solving other problems in the field of synthesis of digital circuits.application/pdfporGrafosFunções booleanasBoolean mathcingP-matchingTechnology mappingBipartirte graphGraph isomorphismUm método de equivalência de funções Booleanas através de grafos bipartidosA method for Boolean functions equivalence through bipartite graphs info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2013Ciência da Computação: Ênfase em Ciência da Computação: Bachareladograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000909809.pdf000909809.pdfTexto completoapplication/pdf516295http://www.lume.ufrgs.br/bitstream/10183/86280/1/000909809.pdf9860b3c004f87ba9a69d5b677a30503fMD51TEXT000909809.pdf.txt000909809.pdf.txtExtracted Texttext/plain99879http://www.lume.ufrgs.br/bitstream/10183/86280/2/000909809.pdf.txta8fa5572403fcb823c9c78a1b7413a6cMD52THUMBNAIL000909809.pdf.jpg000909809.pdf.jpgGenerated Thumbnailimage/jpeg1065http://www.lume.ufrgs.br/bitstream/10183/86280/3/000909809.pdf.jpge4868b9b6712ca1e1dcfcae86840cdaaMD5310183/862802019-11-03 03:52:04.613918oai:www.lume.ufrgs.br:10183/86280Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2019-11-03T05:52:04Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Um método de equivalência de funções Booleanas através de grafos bipartidos
dc.title.alternative.en.fl_str_mv A method for Boolean functions equivalence through bipartite graphs
title Um método de equivalência de funções Booleanas através de grafos bipartidos
spellingShingle Um método de equivalência de funções Booleanas através de grafos bipartidos
Silva, Anderson Santos da
Grafos
Funções booleanas
Boolean mathcing
P-matching
Technology mapping
Bipartirte graph
Graph isomorphism
title_short Um método de equivalência de funções Booleanas através de grafos bipartidos
title_full Um método de equivalência de funções Booleanas através de grafos bipartidos
title_fullStr Um método de equivalência de funções Booleanas através de grafos bipartidos
title_full_unstemmed Um método de equivalência de funções Booleanas através de grafos bipartidos
title_sort Um método de equivalência de funções Booleanas através de grafos bipartidos
author Silva, Anderson Santos da
author_facet Silva, Anderson Santos da
author_role author
dc.contributor.author.fl_str_mv Silva, Anderson Santos da
dc.contributor.advisor1.fl_str_mv Ribas, Renato Perez
contributor_str_mv Ribas, Renato Perez
dc.subject.por.fl_str_mv Grafos
Funções booleanas
topic Grafos
Funções booleanas
Boolean mathcing
P-matching
Technology mapping
Bipartirte graph
Graph isomorphism
dc.subject.eng.fl_str_mv Boolean mathcing
P-matching
Technology mapping
Bipartirte graph
Graph isomorphism
description Atualmente uma das etapas mais críticas no fluxo de projeto de circuitos integrados é a etapa denominada mapeamento tecnológico. Essa dificuldade se deve ao fato que esta etapa precisa resolver um problema NP-completo denominado equivalência Booleana. A proposta deste trabalho é a de acelerar esse processo representando uma função Booleana através de um grafo bipartido, e utilizar esta estrutura para calcular Pequivalência por permutação, uma etapa da equivalência Booleana. O grafo bipartido gerado é denominado Grafo Bipartido Booleano, ou GBB. Diversos métodos de resolução são apresentados e uma discussão quanto à qualidade deles é exposta. Os resultados mostram que essa estrutura é correta e que pode ser utilizada para calcular eficientemente equivalência por permutação. Trabalhos futuros vão desde estender esta abordagem para outros tipos de equivalência até a utilização do GBB para resolução de outros problemas na área de síntese de circuitos digitais.
publishDate 2013
dc.date.issued.fl_str_mv 2013
dc.date.accessioned.fl_str_mv 2014-01-21T01:51:23Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/86280
dc.identifier.nrb.pt_BR.fl_str_mv 000909809
url http://hdl.handle.net/10183/86280
identifier_str_mv 000909809
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/86280/1/000909809.pdf
http://www.lume.ufrgs.br/bitstream/10183/86280/2/000909809.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/86280/3/000909809.pdf.jpg
bitstream.checksum.fl_str_mv 9860b3c004f87ba9a69d5b677a30503f
a8fa5572403fcb823c9c78a1b7413a6c
e4868b9b6712ca1e1dcfcae86840cdaa
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1815447118773485568

Registros relacionados