Systemverilog-Assertionen und funktionale Abdeckung: Leitfaden für Sprache, Methodik und Anwendungen

Bewertung:   (4,6 von 5)

Systemverilog-Assertionen und funktionale Abdeckung: Leitfaden für Sprache, Methodik und Anwendungen (B. Mehta Ashok)

Leserbewertungen

Zusammenfassung:

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.

Nachteile:

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)

Originaltitel:

Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications

Inhalt des Buches:

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).

Weitere Daten des Buches:

ISBN:9781461473237
Autor:
Verlag:
Sprache:Englisch
Einband:Hardcover

Kauf:

Derzeit verfügbar, auf Lager.

Ich kaufe es!

Weitere Bücher des Autors:

System Verilog Assertions and Functional Coverage: Leitfaden für Sprache, Methodik und Anwendungen -...
Dieses Buch bietet einen praktischen,...
System Verilog Assertions and Functional Coverage: Leitfaden für Sprache, Methodik und Anwendungen - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Einführung in Systemverilog - Introduction to Systemverilog
Dieses Buch ist ein praxisnaher, anwendungsorientierter Leitfaden für die gesamte IEEE-Standardsprache...
Einführung in Systemverilog - Introduction to Systemverilog
Systemverilog-Assertionen und funktionale Abdeckung: Leitfaden für Sprache, Methodik und Anwendungen...
Einführung. - System Verilog-Assertionen. -...
Systemverilog-Assertionen und funktionale Abdeckung: Leitfaden für Sprache, Methodik und Anwendungen - Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Asic/Soc Funktionale Entwurfsverifikation: Ein umfassender Leitfaden für Technologien und...
Dieses Buch beschreibt detailliert alle...
Asic/Soc Funktionale Entwurfsverifikation: Ein umfassender Leitfaden für Technologien und Methodologien - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Asic/Soc Funktionale Entwurfsverifikation: Ein umfassender Leitfaden für Technologien und Methoden -...
Dieses Buch beschreibt detailliert alle...
Asic/Soc Funktionale Entwurfsverifikation: Ein umfassender Leitfaden für Technologien und Methoden - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
System Verilog Assertions und Funktionsabdeckung: Leitfaden für Sprache, Methodik und Anwendungen -...
Dieses Buch bietet einen praktischen,...
System Verilog Assertions und Funktionsabdeckung: Leitfaden für Sprache, Methodik und Anwendungen - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Einführung in Systemverilog - Introduction to Systemverilog
Dieses Buch ist ein praxisnaher, anwendungsorientierter Leitfaden für die gesamte IEEE-Standardsprache...
Einführung in Systemverilog - Introduction to Systemverilog

Die Werke des Autors wurden von folgenden Verlagen veröffentlicht:

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)