Uma nova estrutura de dados para ferramentas de síntese lógica

Abstract

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.

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.