Navegação Computação por Autor "Cardoso, Tiago Muller Gil"
Resultados 1-1 de 1
-
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 ...