Assertion-Based Design, Fachbücher von Adam C. Krolnik, Harry D. Foster, David J. Lacey

Das Buch "Assertion-Based Design" bietet eine umfassende Einführung in die Spezifikation und Implementierung von Assertions in der Hardware-Design- und Verifikationspraxis. Es behandelt grundlegende Konzepte und Techniken zur Definition von RTL-Eigenschaften, einschliesslich der Klassifizierung von Eigenschaften und der verschiedenen Ansätze zur Spezifikation von Assertions. Die Leserinnen und Leser erhalten Einblicke in die Verwendung von SystemVerilog und PSL zur Erstellung von Assertions sowie in die Implementierung von PLI-basierten Assertions. Das Buch ist sowohl für Studierende als auch für Fachleute geeignet, die ein vertieftes Verständnis für die Rolle von Assertions im Designprozess entwickeln möchten. Mit einer klaren Struktur und detaillierten Beispielen ist es ein wertvolles Nachschlagewerk für alle, die sich mit der Verifikation von digitalen Systemen beschäftigen.