Eines der Hauptprobleme beim Chipentwurf besteht darin, dass die Anzahl der zu bewaltigenden 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 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.