Robustness and Usability in Modern Design Flows, Fachbücher von Rolf Drechsler, Görschwin Fey

Das Buch "Robustness and Usability in Modern Design Flows" bietet eine umfassende Analyse der aktuellen Design- und Verifikationsmethodologien für integrierte Schaltungen. Angesichts der kontinuierlichen Zunahme der Grösse technisch produzierbarer integrierter Schaltungen ist es entscheidend, die Designflüsse zu optimieren, um die Produktivität zu steigern. In diesem Fachbuch werden bestehende Mängel in den aktuellen Methoden identifiziert und Lösungen vorgeschlagen, die sowohl die Methodologie als auch die zugrunde liegenden Algorithmen verbessern. Die Autoren präsentieren ein vollständiges Tool-Flow für die Synthese von Testbarkeit für SystemC-Beschreibungen, das sicherstellt, dass die resultierenden Schaltungen vollständig testbar sind. Darüber hinaus wird ein neues Paradigma für die formale Designverifikation eingeführt, das auf dem Verständnis des Designs, der automatischen Generierung von Eigenschaften und leistungsstarker Unterstützung bei der Fehlersuche basiert. Die empirische Evaluierung dieser neuen Techniken führt zu einem verbesserten Designfluss, der sowohl die Automatisierung als auch die Robustheit erhöht.