Branching Programme als Datenstruktur für den Schaltkreisentwurf | SciPort RLP

Durch die Nutzung unserer Webseite erklären Sie sich damit einverstanden, dass wir Cookies verwenden. Weitere Informationen

Branching Programme als Datenstruktur für den Schaltkreisentwurf

Laufzeit: 01.01.1992 - 31.12.1996

Förderung durch: Deutsche Forschungsgemeinschaft

Kurzfassung

Untersuchung und Entwicklung von BDD-basierten Datenstrukturen und Algorithmen zum Entwurf und zur Verifikation von VLSI-Schaltkreisen.

Untersuchung und Entwicklung von BDD-basierten Datenstrukturen und Algorithmen zum Entwurf und zur Verifikation von VLSI-Schaltkreisen.

Projektteam

Christoph Meinel
Mitarbeiter/in
(Informatikwissenschaften)

Beteiligte Einrichtungen

Informatikwissenschaften
(Universität Trier)