Bewertung:
Das Buch bietet wertvolle Einblicke in SystemVerilog Assertions (SVA) und funktionale Abdeckung und ist damit ein hervorragendes Hilfsmittel für Verifikations- und Designingenieure. Es enthält praktische Beispiele und Anwendungen aus der Praxis, die das Verständnis verbessern. Einige Benutzer hatten jedoch Schwierigkeiten, den begleitenden Quellcode online zu finden, was die allgemeine Nutzbarkeit des Buches beeinträchtigen kann.
Vorteile:⬤ Wertvoll für Verifikationsingenieure.
⬤ Leicht zu lesen und zu verstehen.
⬤ Vertieftes Wissen über Assertions und funktionale Abdeckung.
⬤ Praktische Beispiele festigen die Konzepte.
⬤ Gut für die direkte Implementierung ohne große Theorie.
⬤ Ausgezeichnetes Nachschlagewerk mit einem soliden Index und TOC.
⬤ Schwierigkeit, Online-Quellcode für Übungen zu finden.
⬤ Es wurden Vorschläge für mehr Beispiele gemacht.
⬤ Einige Benutzer fanden die Anweisungen für den Online-Zugang unklar.
(basierend auf 8 Leserbewertungen)
Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Einführung. - System Verilog-Assertionen.
- Unmittelbare Assertions. - Concurrent Assertions - Grundlagen (Sequenz, Eigenschaft, Assert). - Abgetastete Wertfunktionen $rose, $fell.
- Operatoren.
- Systemfunktionen und Tasks. - Mehrere Takte.
- Lokale Variablen. - Rekursive Eigenschaft. - Erkennung und Verwendung des Endpunkts einer Sequenz.
- 'erwarten'. - 'assume' und formale (statische funktionale) Verifikation. - Andere wichtige Themen.
- Asynchrone Assertions!!! - IEEE-1800-2009 Merkmale. - SystemVerilog-Assertionen LABs.
- System Verilog Assertions - LAB Antworten. - Funktionale Abdeckung. - Performance-Implikationen der Coverage-Methodik.
- Überdeckungsoptionen (Referenzmaterial).
| ISBN: | 9781461473237 |
| Autor: | |
| Verlag: | |
| Sprache: | Englisch |
| Einband: | Hardcover |
Derzeit verfügbar, auf Lager.
