Fast extract with cube hashing

Detalhes bibliográficos
Autor(a) principal: Schmitt, Bruno de Oliveira
Data de Publicação: 2016
Tipo de documento: Trabalho de conclusão de curso
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/151379
Resumo: O algoritmo fast-extract é um método algébrico bem conhecido para a fatoração e decomposição de expressões booleanas. Entretanto, seu método de busca por divisores, que utiliza a comparação de pares de cubos, o torna demasiadamente lento para redes cujas saídas primárias são expressas em termos de entradas primárias e que tenham funções booleanas com milhares de cubos. Este trabalho descreve uma nova implementação do algoritmo fast-extract, fxch, com complexidade linear no número de cubos. A redução na complexidade é atingida com a utilização de uma tabela hash, utilizada para encontrar bons divisores. Os resultados experimentais em benchmarks industriais mostram tempo de execução e escalabilidade superiores, em comparação com as soluções disponíveis.
id UFRGS-2_9f79583e57b00960298a58b22a373ebe
oai_identifier_str oai:www.lume.ufrgs.br:10183/151379
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Schmitt, Bruno de OliveiraReis, Andre InacioMishchenko, Alan2017-02-02T02:30:57Z2016http://hdl.handle.net/10183/151379001009589O algoritmo fast-extract é um método algébrico bem conhecido para a fatoração e decomposição de expressões booleanas. Entretanto, seu método de busca por divisores, que utiliza a comparação de pares de cubos, o torna demasiadamente lento para redes cujas saídas primárias são expressas em termos de entradas primárias e que tenham funções booleanas com milhares de cubos. Este trabalho descreve uma nova implementação do algoritmo fast-extract, fxch, com complexidade linear no número de cubos. A redução na complexidade é atingida com a utilização de uma tabela hash, utilizada para encontrar bons divisores. Os resultados experimentais em benchmarks industriais mostram tempo de execução e escalabilidade superiores, em comparação com as soluções disponíveis.The fast-extract algorithm is a well-known algebraic method for factoring and decomposing Boolean expressions. Since it uses pairwise comparisons between cubes to find factors, the run-time is degraded for networks whose primary outputs are expressed in terms of primary inputs and have Boolean functions with thousands of cubes. This work describes a new implementation of the fast-extract algorithm, fxch, having complexity linear in the number of cubes. The reduction in complexity is achieved by hashing sub-cubes and using the hash table to find good factors to extract. Experimental results on industrial benchmarks show better run-time and scalability of the proposed algorithm, compared to the available solutions.application/pdfengMicroeletrônicaCircuitos digitaisLogic synthesisOptimizationExtractionCombinational circuitsFast extract with cube hashinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2016Ciência da Computação: Ênfase em Engenharia da Computação: Bachareladograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL001009589.pdf001009589.pdfTexto completo (inglês)application/pdf221905http://www.lume.ufrgs.br/bitstream/10183/151379/1/001009589.pdf68196b079415c964287da050d9f54d60MD51TEXT001009589.pdf.txt001009589.pdf.txtExtracted Texttext/plain53721http://www.lume.ufrgs.br/bitstream/10183/151379/2/001009589.pdf.txt8e35693fceff60e3d9dae68cd7f461b2MD5210183/1513792021-05-07 04:50:33.07072oai:www.lume.ufrgs.br:10183/151379Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2021-05-07T07:50:33Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Fast extract with cube hashing
title Fast extract with cube hashing
spellingShingle Fast extract with cube hashing
Schmitt, Bruno de Oliveira
Microeletrônica
Circuitos digitais
Logic synthesis
Optimization
Extraction
Combinational circuits
title_short Fast extract with cube hashing
title_full Fast extract with cube hashing
title_fullStr Fast extract with cube hashing
title_full_unstemmed Fast extract with cube hashing
title_sort Fast extract with cube hashing
author Schmitt, Bruno de Oliveira
author_facet Schmitt, Bruno de Oliveira
author_role author
dc.contributor.author.fl_str_mv Schmitt, Bruno de Oliveira
dc.contributor.advisor1.fl_str_mv Reis, Andre Inacio
dc.contributor.advisor-co1.fl_str_mv Mishchenko, Alan
contributor_str_mv Reis, Andre Inacio
Mishchenko, Alan
dc.subject.por.fl_str_mv Microeletrônica
Circuitos digitais
topic Microeletrônica
Circuitos digitais
Logic synthesis
Optimization
Extraction
Combinational circuits
dc.subject.eng.fl_str_mv Logic synthesis
Optimization
Extraction
Combinational circuits
description O algoritmo fast-extract é um método algébrico bem conhecido para a fatoração e decomposição de expressões booleanas. Entretanto, seu método de busca por divisores, que utiliza a comparação de pares de cubos, o torna demasiadamente lento para redes cujas saídas primárias são expressas em termos de entradas primárias e que tenham funções booleanas com milhares de cubos. Este trabalho descreve uma nova implementação do algoritmo fast-extract, fxch, com complexidade linear no número de cubos. A redução na complexidade é atingida com a utilização de uma tabela hash, utilizada para encontrar bons divisores. Os resultados experimentais em benchmarks industriais mostram tempo de execução e escalabilidade superiores, em comparação com as soluções disponíveis.
publishDate 2016
dc.date.issued.fl_str_mv 2016
dc.date.accessioned.fl_str_mv 2017-02-02T02:30:57Z
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/151379
dc.identifier.nrb.pt_BR.fl_str_mv 001009589
url http://hdl.handle.net/10183/151379
identifier_str_mv 001009589
dc.language.iso.fl_str_mv eng
language eng
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/151379/1/001009589.pdf
http://www.lume.ufrgs.br/bitstream/10183/151379/2/001009589.pdf.txt
bitstream.checksum.fl_str_mv 68196b079415c964287da050d9f54d60
8e35693fceff60e3d9dae68cd7f461b2
bitstream.checksumAlgorithm.fl_str_mv 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_ 1801224522808950784

Registros relacionados