Systemverilog Assertions and Functional Coverage: Průvodce jazykem, metodikou a aplikacemi

Hodnocení: ⭐⭐⭐⭐⭐  (4,6 z 5)

Systemverilog Assertions and Functional Coverage: Průvodce jazykem, metodikou a aplikacemi (B. Mehta Ashok)

Recenze čtenářů

Shrnutí:

Kniha poskytuje cenné poznatky o SystemVerilog Assertions (SVA) a funkčním pokrytí, takže je skvělým zdrojem informací pro verifikační inženýry a návrháře. Obsahuje praktické příklady a reálné aplikace, které zlepšují porozumění. Někteří uživatelé se však setkali s potížemi při hledání přiloženého zdrojového kódu online, což může mít vliv na celkovou použitelnost knihy.

Klady:

⬤ Cenné pro verifikační inženýry.
⬤ Snadné čtení a pochopení.
⬤ Hluboké znalosti o tvrzeních a funkčním pokrytí.
⬤ Praktické příklady upevňující koncepty.
⬤ Dobré pro přímou implementaci bez náročné teorie.
⬤ Výborná referenční kniha s pevným rejstříkem a TOC.

Zápory:

⬤ Obtížné nalezení online zdrojového kódu pro laboratoře.
⬤ Byly předloženy návrhy na více příkladů.
⬤ Někteří uživatelé považovali pokyny pro online přístup za nejasné.

(na základě 8 hodnocení čtenářů)

Původní název:

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

Obsah knihy:

Úvod. - Systémová tvrzení Verilogu.

- Okamžité aserce. - Souběžné aserce - základy (sekvence, vlastnost, assert). - Funkce vzorkovaných hodnot $rose, $fell.

- Operátory.

- Systémové funkce a úlohy. - Vícenásobné hodiny.

- Lokální proměnné. - Rekurzivní vlastnost. - Zjištění a použití koncového bodu posloupnosti.

- 'Očekávání'. - 'Předpokládat' a formální (statická funkční) verifikace. - Další důležitá témata.

- Asynchronní aserce!!! - Funkce IEEE-1800-2009. - SystemVerilog Assertions LABs.

- System Verilog Assertions - odpovědi LAB. - Funkční pokrytí. - Důsledky metodiky pokrytí na výkon.

- Možnosti pokrytí (referenční materiál).

Další údaje o knize:

ISBN:9781461473237
Autor:
B. Mehta Ashok
Vydavatel:
Springer Nature
Jazyk:angličtina
Vazba:Pevná vazba

Nákup:

Nyní dostupné, na skladě.

Další knihy od autora:

System Verilog Assertions and Functional Coverage (Tvrzení a funkční pokrytí systému Verilog):...
Springer Nature
Tato kniha poskytuje praktického, aplikačně...
System Verilog Assertions and Functional Coverage (Tvrzení a funkční pokrytí systému Verilog): Průvodce jazykem, metodikou a aplikacemi - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Úvod do Systemverilogu - Introduction to Systemverilog
Springer Nature
Tato kniha poskytuje praktického, aplikačně orientovaného průvodce celým standardem IEEE 1800 SystemVerilog...
Úvod do Systemverilogu - Introduction to Systemverilog
Systemverilog Assertions and Functional Coverage: Průvodce jazykem, metodikou a aplikacemi -...
Springer Nature
Úvod. - Systémová tvrzení Verilogu. - Okamžité...
Systemverilog Assertions and Functional Coverage: Průvodce jazykem, metodikou a aplikacemi - Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Asic/Soc Functional Design Verification: A: A Comprehensive Guide to Technologies and Methodologies...
Springer Nature
Tato kniha podrobně popisuje všechny potřebné...
Asic/Soc Functional Design Verification: A: A Comprehensive Guide to Technologies and Methodologies (Průvodce technologiemi a metodikami) - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies...
Springer Nature
Tato kniha podrobně popisuje všechny potřebné...
Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies (Komplexní průvodce technologiemi a metodikami) - Asic/Soc Functional Design Verification: A Comprehensive Guide to Technologies and Methodologies
System Verilog Assertions and Functional Coverage: Průvodce jazykem, metodikou a aplikacemi - System...
Springer Nature
Tato kniha poskytuje praktického, aplikačně...
System Verilog Assertions and Functional Coverage: Průvodce jazykem, metodikou a aplikacemi - System Verilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Úvod do Systemverilogu - Introduction to Systemverilog
Springer Nature
Tato kniha poskytuje praktického, aplikačně orientovaného průvodce celým standardem IEEE 1800 SystemVerilog...
Úvod do Systemverilogu - Introduction to Systemverilog

Díla autora vydali tito vydavatelé:

Springer Nature

© Book1 Group - všechna práva vyhrazena.
Obsah těchto stránek nesmí být kopírován ani použit, a to ani částečně ani úplně, bez písemného svolení vlastníka.
Poslední úprava: 2024.11.08 20:25 (GMT)