Listar por tema "BBDs"
Mostrando ítems 1-2 de 2
-
Um algoritmo formal para remoção de redundâncias
(2003) [Tesis de maestría]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) [Tesis de maestría]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 ...