• Biblioteca de BDDs baseada em inteiros 

      Silva, Pablo Martins da (2019) [Trabalho de conclusão de graduação]
      Diagramas de decisão binária (BDDs) são um tipo de estrutura de dados muito usada no projeto de circuitos integrados digitais. Este trabalho apresenta uma contribuição para a obtenção de estruturas de dados mais eficientes ...
    • Exploração de reordenamento de ROBDDs no mapeamento tecnológico de circuitos integrados 

      Cardoso, Tiago Muller Gil (2007) [Dissertação]
      Os ROBDDs são estruturas utilizadas com sucesso em ferramentas de CAD para microeletrônica. Estas estruturas permitem a representação canônica de funções booleanas ao se estabelecer um ordenamento fixo de variáveis. No ...
    • Library Free Technology Mapping 

      Reis, Andre Inacio; Reis, Ricardo Augusto da Luz; Auvergne, Daniel; Robert, Michel (1998) [Artigo de periódico]
      This paper presents an efficient method for mapping a set of Boolean equations onto a set of Static CMOS Complex Gates (SCCGs) under a constraint in the number of serial transistors. This Library Free Technology Mapping ...