Eines der Hauptprobleme beim Chipentwurf besteht darin, da die Anzahl der zu bewltigenden Kombinationen der einzelnen Chipbausteine ins Unermeliche 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 binren Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer betrchtlichen Leistungssteigerung gefhrt hat. Die Autoren stellen die Grundlagen dieses interdisziplinren Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergesttzten Schaltkreisentwurf.

Eines der Hauptprobleme beim Chipentwurf besteht darin, da die Anzahl der zu bewältigenden Kombinationen der einzelnen Chipbausteine ins Unerme liche 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 binären Entscheidungsgraphen, das in zahlreichen CAD-Projekten zu einer beträchtlichen Leistungssteigerung geführt hat. Die Autoren stellen die Grundlagen dieses interdisziplinären Forschungsgebiets dar und behandeln wichtige Anwendungen aus dem rechnergestützten Schaltkreisentwurf.