Efficient Data Structures for Computer-Aided Design
Laufzeit: 01.01.1997 - 31.12.2000
Partner: University of Colorado, Boulder
Förderung durch: Deutscher Akademischer Austauschdienst, DAAD
Kurzfassung
Weiterentwicklung von Software-Werkzeugen zur OBDD-basierten Bearbeitung von Schaltkreisen und sequentiellen Systemen.
