Navegação por Assunto "BDD"

Resultados 1-4 de 4

    • Um algoritmo formal para remoção de redundâncias 

      Marques, Felipe de Souza (2003) [Dissertação]
      Os algoritmos para síntese de circuitos digitais em geral visam a melhoria de uma função de custo composta de quatro critérios: área, desempenho, potência e testabilidade. Normalmente estes algoritmos conseguem uma relação ...

    • Gitabs : uma extensão ao sistema Git para gestão de projetos 

      Mello, Eduardo Mattos da Silva (2013) [Trabalho de conclusão de graduação]
      O objetivo deste trabalho é desenvolver uma biblioteca que possa ser utilizada por aplicações que auxiliem a gestão de projetos. Sua construção se deu de forma genérica possibilitando a construção de diferentes abordagens ...

    • 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 ...

    • SwitchCraft : um ambiente computacional para síntese e análise de redes lógicas 

      Callegaro, Vinicius (2009) [Trabalho de conclusão de graduação]
      O ambiente SwitchCraft provê um conjunto de ferramentas para geração de redes de chaves lógicas. Estimativas para atraso de propagação de sinais, área e dissipação de energia (dinâmica ou corrente de fuga) também estão ...