Navegação por Assunto "BBDs"
Resultados 1-2 de 2
-
Um algoritmo formal para remoção de redundâncias
(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
(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 ...