Das Buch beschreibt Algorithmen für den rechnergestützten Entwurf hochintegrierter Schaltungen, gehört also in den Bereich "CAD für VLSI". Ein Schwerpunkt dieses Buches liegt bei der Synthese von Entwürfen aus Spezifikationen jeweils höherer Abstraktionsebenen, speziell bei der Architektur,- der Logik- und der Layoutsynthese. Ziel der Verwendung von Synthesemethoden ist die beschleunigte Entwicklung korrekter elektronischer Systeme. Im Buch werden auch die Prinzipien digitaler Simulationen eingehend behandelt.