Geração de circuitos a partir de BDDs : junção de funções booleanas incompletamente especificadas

• Autor(a) principal: Peralta, Renato Donizete
• Data de Publicação: 2022
• Tipo de documento: Dissertação
• Idioma: por
• Título da fonte: Biblioteca Digital de Teses e Dissertações da UFRGS
• Texto Completo: http://hdl.handle.net/10183/245356
• topic: Funções booleanas; Diagramas : Decisao binaria; Incompletely Specified Boolean Functions; Binary Decision Diagrams; Boolean Relations

Funções booleanas especificadas incompletamente (também conhecidas como rela ções booleanas) são definidas por seu On-set, Off-set e DC-set (Don’t care set). Como o conjunto DC-set pode ser atribuído ao On-set ou ao Off-set, uma relação booleana pode conter várias funções completamente especificadas que satisfaçam a relação booleana original. Este trabalho propõe um algoritmo para a atribuição de don’t cares para relações booleanas representadas como um par de Binary Decision Diagrams (BDDs). O algoritmo consiste em explorar o On-set e Off-set da relação booleana de entrada representada como BDDs e juntá-los em um terceiro BDD, que terá um número menor de nodos. Em média, nosso algoritmo foi capaz de gerar coberturas com 23,53% do número de nodos comparado aos BDDs dos on-sets das relações booleanas originais. Enquanto que métodos como restrict, constrain e leaf identifying compaction geraram coberturas com tamanho em torno de 30%. Além disso, o algoritmo mostrou-se eficaz na redução do número de variáveis de entrada, onde apresentou uma redução média de 15,67%.