• 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 ...
    • Deep learning for boolean matching 

      Oberderfer Júnior, Réges Eduardo (2018) [Trabalho de conclusão de graduação]
      Boolean matching é a tarefa de determinar a equivalência entre funções booleanas, uma etapa essencial no mapeamento tecnológico. Este trabalho explora um novo método para resolver boolean matching usando aprendizagem de ...
    • Domino logic library design and logic synthesis 

      Rosenbach, Leonardo Iri Nicola Cristofari (2011) [Trabalho de conclusão de graduação]
      Dominó é um estilo de implemetação de portas lógicas interessante para obter um design com altas velocidades e que é eficiente em área devido ao reduzido número de transistores e baixa capacitância de entrada. Porém este ...
    • Estudo e avaliação de técnicas de redução de consumo em circuitos lógicos 

      Canabarro, Eduardo Antonio Achutti (2011) [Trabalho de conclusão de graduação]
      O presente trabalho busca investigar técnicas de redução de consumo em circuitos lógicos, abordando tanto circuitos combinacionais quanto sequenciais. No estudo dirigido a circuitos combinacionais, é feito um estudo acerca ...
    • Otimização de interconexões através de AIGs 

      Carvalho Júnior, Alberto dos Santos (2010) [Trabalho de conclusão de graduação]
      A tecnologia VLSI tem experimentado uma constante redução na dimensão de seus dispositivos (i.e. o tamanho mínimo do transistor), permitindo uma densidade que hoje ultrapassa a casa de centenas de milhões de transistores ...
    • Otimização de interconexões através de posiocionamento e síntese lógica 

      Vedovelli, Estevan (2009) [Trabalho de conclusão de graduação]
      No fluxo atual de projeto de circuitos digitais modernos é difícil estimarmos os atrasos que ocorrem nas interconexões, especialmente antes do posicionamento das células. E quando os atrasos são corretamente avaliados, ...