SAT-Based Scalable Formal Verification Solutions, Fachbücher von Aarti Gupta, Malay Ganai

"SAT-Based Scalable Formal Verification Solutions" ist ein Fachbuch, das sich mit den neuesten und innovativen skalierbaren Techniken der formalen Verifikation auf Basis von SAT (Satisfiability) beschäftigt. In der heutigen Chip-Design-Prozess ist die funktionale Verifikation von entscheidender Bedeutung, da sie sicherstellt, dass die entworfenen Systeme den spezifizierten Anforderungen entsprechen. Dieses Buch bietet eine umfassende Analyse verschiedener SAT-basierter Methoden, darunter hybride SAT-Löser, massgeschneiderte Modellprüfungen, verteilte Modellprüfungen und Verifikationsansätze für eingebettete Speichersysteme sowie Multi-Clock-Systeme. Die vorgestellten Techniken sind in der Verifikationsplattform Verisol implementiert, die in der Industrie erfolgreich eingesetzt wird. Neben algorithmischen Details bietet das Buch auch wertvolle Einblicke und praktische Erfahrungen der Autoren, die für Forscher, Wissenschaftler und Verifikationsingenieure von Interesse sind, die ein vertieftes Verständnis für skalierbare Verifikationstechniken erlangen möchten.