Advanced BDD optimization

BDD and SAT are major concepts in VLSI CADNew objective functions for design space exploration require new algorithms for BDD optimizationLatest trend: fusion of the concepts BDD and SATMajor impulses come from Artificial Intelligence (AI)Unifying view, transfers the latest theoretical insights into...

Descripción completa

Detalles Bibliográficos
Autores principales: Ebendt, Rudiger, Fey, Görschwin, Drechsler, Rolf
Lenguaje:eng
Publicado: Springer 2005
Materias:
XX
Acceso en línea:http://cds.cern.ch/record/2283225
Descripción
Sumario:BDD and SAT are major concepts in VLSI CADNew objective functions for design space exploration require new algorithms for BDD optimizationLatest trend: fusion of the concepts BDD and SATMajor impulses come from Artificial Intelligence (AI)Unifying view, transfers the latest theoretical insights into practical applications.

Ejemplares similares