Resumo
Este trabalho propõe uma nova estrutura de dados para as ferramentas de síntese lógica. Esta nova estrutura pretende unir duas estruturas bem conhecidas na área de síntese ló gica, o AIG (And-Inverter-Graph) com o BDD (Binary Decision Diagram), formando uma estrutura híbrida e canônica que apresente um bom desempenho na síntese lógica quando utilizado o método de composição funcional.
Abstract
This work presents a novel data structure to logic synthesis tools. This new data structure intends to join two well-know data structures in the logic synthesis field, AIG (And Inverter-Graph) with BDD (Binary Decision Diagram), merging into a hybrid and canon ical structure that shows a good performance when running logic synthesis with the com position method.
Instituição
Universidade Federal do Rio Grande do Sul. Instituto de Informática. Curso de Ciência da Computação: Ênfase em Ciência da Computação: Bacharelado.
