BDD-basierte Datenstrukturen für sequentielle Schaltkreise
Laufzeit: 01.01.1996 - 31.12.2001
Partner: Verschiedene am DFG-Schwerpunkt "Effiziente Algorithmen" beteiligte Forschungsgruppen
Förderung durch: Deutsche Forschungsgemeinschaft DFG
Kurzfassung
Theoretische und experimentelle Untersuchung von graphbasierten Datenstrukturen für den Entwurf, die Analyse und Verifikation von hochintegrierten Schaltkreisen.
