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...