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.
