• Comparing different and inverter graph data structure 

      Bittencourt, Marcelo Corrêa de (2018) [Dissertação]
      This document presents a performance analysis of four different And-Inverter Graph (AIG) implementations. AIG is a data structure commonly used in programs used for digital circuits design. Different implementations of the ...
    • KL-cuts : a new approach for logic synthesis targeting multiple output blocks 

      Martinello Junior, Osvaldo (2010) [Dissertação]
      Esta dissertação introduz o conceito de cortes KL, o que permite controlar tanto o número K de entradas como o número L de saídas em uma região de um circuito. O projeto de um circuito digital pode ser dividido em duas ...
    • Uma nova estrutura de dados para ferramentas de síntese lógica 

      Silveira, Leonardo Droves (2022) [Trabalho de conclusão de graduação]
      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 ...