Abstract in Portuguese (Brasil)
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.
Institution
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.