• 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 ...
    • Roteamento de circuitos VLSI 

      Leonhardt, Charles Capella (2010) [Trabalho de conclusão de graduação]
      Roteamento é a etapa do fluxo de geração de circuitos integrados onde são realizadas as interconexões entre os diferentes elementos do circuito. Está incluído na etapa de síntese física, que trata da construção do leiaute, ...