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
_version_ 1780955717422809088
author Ebendt, Rudiger
Fey, Görschwin
Drechsler, Rolf
author_facet Ebendt, Rudiger
Fey, Görschwin
Drechsler, Rolf
author_sort Ebendt, Rudiger
collection CERN
description 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.
id cern-2283225
institution Organización Europea para la Investigación Nuclear
language eng
publishDate 2005
publisher Springer
record_format invenio
spelling cern-22832252021-04-21T19:04:40Zhttp://cds.cern.ch/record/2283225engEbendt, RudigerFey, GörschwinDrechsler, RolfAdvanced BDD optimizationXXBDD 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.Springeroai:cds.cern.ch:22832252005
spellingShingle XX
Ebendt, Rudiger
Fey, Görschwin
Drechsler, Rolf
Advanced BDD optimization
title Advanced BDD optimization
title_full Advanced BDD optimization
title_fullStr Advanced BDD optimization
title_full_unstemmed Advanced BDD optimization
title_short Advanced BDD optimization
title_sort advanced bdd optimization
topic XX
url http://cds.cern.ch/record/2283225
work_keys_str_mv AT ebendtrudiger advancedbddoptimization
AT feygorschwin advancedbddoptimization
AT drechslerrolf advancedbddoptimization

Ejemplares similares