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