Generating Hardware Assertion Checkers, Fachbücher von Zeljko Zilic, Marc Boulé

Das Buch "Generating Hardware Assertion Checkers" bietet eine umfassende Einführung in das Konzept des assertion-basierten Designs, das eine bedeutende Rolle bei der Verbesserung der Qualität in der elektronischen Entwicklung spielt. Assertions sind essenzielle Aussagen, die Eigenschaften des Designs beschreiben und dazu dienen, die Korrektheit während des gesamten Designzyklus sowie im Lebenszyklus des Produkts aktiv zu überprüfen. Mit der Einführung der neuen Sprachen PSL und SVA hat sich die Qualität und Produktivität der Verifikation bereits erheblich verbessert. Dieses Buch bietet einen einzigartigen Einblick in die Generierung von Assertion Checkern und beleuchtet deren Anwendung in verschiedenen Bereichen wie Spezifikation, Verifikation, Debugging, Online-Überwachung und Verbesserung der Designqualität. Die Autoren, Marc Boulé und Zeljko Zilic, präsentieren fundierte Ansätze und Techniken, die für Fachleute und Studierende gleichermassen von Interesse sind.