Systemverilog Assertions and Functional Coverage: Przewodnik po języku, metodologii i zastosowaniach

Ocena: ⭐⭐⭐⭐⭐  (4,6 na 5)

Systemverilog Assertions and Functional Coverage: Przewodnik po języku, metodologii i zastosowaniach (B. Mehta Ashok)

Opinie czytelników

Podsumowanie:

Książka zapewnia cenny wgląd w asercje SystemVerilog (SVA) i pokrycie funkcjonalne, dzięki czemu jest doskonałym źródłem informacji dla inżynierów weryfikacji i projektantów. Zawiera praktyczne przykłady i rzeczywiste aplikacje, które zwiększają zrozumienie tematu. Niektórzy użytkownicy napotkali jednak trudności w znalezieniu towarzyszącego kodu źródłowego online, co może wpłynąć na ogólną użyteczność książki.

Zalety:

⬤ Cenna dla inżynierów zajmujących się weryfikacją.
⬤ Łatwa do przeczytania i zrozumienia.
⬤ Dogłębna wiedza na temat asercji i pokrycia funkcjonalnego.
⬤ Praktyczne przykłady potwierdzające koncepcje.
⬤ Dobra do bezpośredniej implementacji bez ciężkiej teorii.
⬤ Doskonała książka referencyjna z solidnym indeksem i TOC.

Wady:

⬤ Trudności w znalezieniu kodu źródłowego online dla laboratoriów.
⬤ Sugerowano więcej przykładów.
⬤ Niektórzy użytkownicy uznali instrukcje dostępu online za niejasne.

(na podstawie 8 opinii czytelników)

Oryginalny tytuł:

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

Zawartość książki:

Wprowadzenie. - Twierdzenia systemu Verilog.

- Asercje natychmiastowe. - Asercje współbieżne - podstawy (sekwencja, właściwość, asercja). - Funkcje wartości próbkowanej $rose, $fell.

- Operatory.

- Funkcje systemowe i zadania. - Wiele zegarów.

- Zmienne lokalne. - Właściwość rekursywna. - Wykrywanie i używanie punktu końcowego sekwencji.

- „Oczekiwanie”. - „zakładaj” i formalna (statyczna funkcjonalna) weryfikacja. - Inne ważne tematy.

- Asynchroniczne asercje!!! - Cechy IEEE-1800-2009. - LABy dotyczące asercji SystemVerilog.

- System Verilog Assertions - LAB Answers. - Pokrycie funkcjonalne. - Wpływ metodologii pokrycia na wydajność.

- Opcje pokrycia (materiał referencyjny).

Dodatkowe informacje o książce:

ISBN:9781461473237
Autor:
B. Mehta Ashok
Wydawca:
Springer Nature
Język:angielski
Oprawa:Twarda oprawa

Zakup:

Obecnie dostępne, na stanie.

Inne książki autora:

System Verilog Assertions and Functional Coverage: Przewodnik po języku, metodologii i...
Springer Nature
Niniejsza książka stanowi praktyczny, zorientowany na...
System Verilog Assertions and Functional Coverage: Przewodnik po języku, metodologii i zastosowaniach - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Wprowadzenie do języka Systemverilog - Introduction to Systemverilog
Springer Nature
Niniejsza książka stanowi praktyczny, zorientowany na zastosowania przewodnik po całym...
Wprowadzenie do języka Systemverilog - Introduction to Systemverilog
Systemverilog Assertions and Functional Coverage: Przewodnik po języku, metodologii i zastosowaniach...
Springer Nature
Wprowadzenie. - Twierdzenia systemu Verilog. -...
Systemverilog Assertions and Functional Coverage: Przewodnik po języku, metodologii i zastosowaniach - Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Weryfikacja projektów funkcjonalnych Asic/Soc: Kompleksowy przewodnik po technologiach i...
Springer Nature
Książka ta szczegółowo opisuje wszystkie wymagane...
Weryfikacja projektów funkcjonalnych Asic/Soc: Kompleksowy przewodnik po technologiach i metodologiach - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Asic/Soc Functional Design Verification: Kompleksowy przewodnik po technologiach i metodologiach -...
Springer Nature
Książka ta szczegółowo opisuje wszystkie wymagane...
Asic/Soc Functional Design Verification: Kompleksowy przewodnik po technologiach i metodologiach - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
System Verilog Assertions and Functional Coverage: Przewodnik po języku, metodologii i...
Springer Nature
Niniejsza książka stanowi praktyczny, zorientowany na...
System Verilog Assertions and Functional Coverage: Przewodnik po języku, metodologii i zastosowaniach - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Wprowadzenie do Systemverilog - Introduction to Systemverilog
Springer Nature
Niniejsza książka stanowi praktyczny, zorientowany na zastosowania przewodnik po całym języku...
Wprowadzenie do Systemverilog - Introduction to Systemverilog

Prace autora wydały następujące wydawnictwa:

Springer Nature

© Book1 Group - wszelkie prawa zastrzeżone.
Zawartość tej strony nie może być kopiowana ani wykorzystywana w całości lub w części bez pisemnej zgody właściciela.
Ostatnia aktualizacja: 2024.11.13 21:45 (GMT)