3 Review(s)

Eines der Hauptprobleme beim Chipentwurf besteht darin, dass die Anzahl der zu bewaeltigenden Kombinationen der einzelnen Chipbausteine ins Unermessliche 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 binaeren Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer betraechtlichen Leistungssteigerung gefuehrt hat. Die Autoren stellen die Grundlagen dieses interdisziplinaeren Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestuetzten Schaltkreisentwurf.