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...
Main Author: | |
---|---|
Other Authors: | |
Format: | Others |
Language: | Portuguese |
Published: |
2011
|
Subjects: | |
Online Access: | http://hdl.handle.net/10183/32859 |