Exploração de reordenamento de ROBDDs no mapeamento tecnológico de circuitos integrados

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 contexto de um gerador automático de células lógicas para circuitos integrados, o...

Full description

Bibliographic Details
Main Author: Cardoso, Tiago Muller Gil
Other Authors: Reis, Andre Inacio
Format: Others
Language:Portuguese
Published: 2011
Subjects:
Online Access:http://hdl.handle.net/10183/32859