Algorithmen Und Datenstrukturen Im Vlsi-Design : Obdd -- Grundlagen Und Anwendungen

Eines der Hauptprobleme beim Chipentwurf besteht darin, da die Anzahl der zu bewaltigenden Kombinationen der einzelnen Chipbausteine ins Unermeliche steigt. Hier hat sich eine sehr fruchtbare Verbindung zu einem Kerngebiet der Theoretischen Informatik, dem Gebiet des Entwurfs von Datenstrukturen und effizienten Algorithmen, herstellen lassen: das Konzept der geordneten binaren Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer betrachtlichen Leistungssteigerung gefuhrt hat. Die Autoren stellen die Grundlagen dieses interdisziplinaren Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestutzten Schaltkreisentwurf.