Bbds
Mostrando 1-2 de 2 artigos, teses e dissertações.
-
1. Exploração de reordenamento de ROBDDs no mapeamento tecnológico de circuitos integrados / Exploration of ROBDD reordering on technology mapping for integrated circuits
The ROBDDs are structures that have been successfully used in CAD tools for microelectronics. These structures allow canonical representation of boolean functions when established a fixed variable ordering. In the context of an automatic logic cell generator for integrated circuits, ROBDDs may serve as a base for deriving transistor networks from which elect
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 2007
-
2. Um algoritmo formal para remoção de redundâncias / A formal algorithm for redundancy removal
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 de compromisso para a otimização de dois critérios. Efeitos indesejáveis também podem surgir com a otimização de um destes
Publicado em: 2007