Das Fachbuch "Computation Engineering" von Ganesh Gopalakrishnan bietet eine umfassende Analyse der Herausforderungen und Lösungen im Bereich der Verifikation digitaler Systemdesigns. Angesichts der zunehmenden Komplexität moderner Systeme wird der Verifikationsaufwand immer bedeutender, was zu einem Anstieg der Kosten führt. Das Buch beleuchtet die Entwicklung leistungsstarker Methoden, die auf mathematischer Logik und Automatentheorie basieren, um diese Herausforderungen zu bewältigen. Es behandelt grundlegende Techniken wie Äquivalenzprüfung und Modellprüfung, die es ermöglichen, das Verhalten von Designs in temporaler Logik zu überprüfen. Diese Methoden sind mittlerweile in den Werkzeugen der führenden Anbieter der Designautomatisierung integriert. Darüber hinaus wird die neue Methodologie des assertionsbasierten Designs vorgestellt, die formale Eigenschaften in die Designs integriert und durch eine Kombination aus dynamischer Simulation und statischer Modellprüfung validiert. Das Buch ist eine wertvolle Ressource für Fachleute und Studierende, die sich mit der Verifikation und dem Design von Hardware auseinandersetzen.