Systemverilog Assertions and Functional Coverage: Sprievodca jazykom, metodológiou a aplikáciami

Recenzie čitateľov

Kniha poskytuje cenné poznatky o SystemVerilog Assertions (SVA) a funkčnom pokrytí, vďaka čomu je skvelým zdrojom informácií pre overovacích inžinierov a návrhárov. Obsahuje praktické príklady a reálne aplikácie, ktoré zlepšujú pochopenie. Niektorí používatelia však mali problémy s vyhľadávaním priloženého zdrojového kódu online, čo môže mať vplyv na celkovú použiteľnosť knihy.

⬤ Cenné pre overovacích inžinierov.
⬤ Ľahko sa číta a je zrozumiteľná.
⬤ Hlboké znalosti o tvrdeniach a funkčnom pokrytí.
⬤ Praktické príklady upevňujúce koncepty.
⬤ Dobré na priamu implementáciu bez náročnej teórie.
⬤ Vynikajúca referenčná kniha so solídnym indexom a TOC.

⬤ Ťažkosti pri hľadaní zdrojového kódu pre laboratóriá online.
⬤ Boli predložené návrhy na viac príkladov.
⬤ Niektorí používatelia považovali pokyny na online prístup za nejasné.

(na základe 8 čitateľských recenzií)

Pôvodný názov:

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

Obsah knihy:

Úvod. - Systémové tvrdenia Verilogu.

- Okamžité tvrdenia. - Súbežné tvrdenia - základy (sekvencia, vlastnosť, tvrdenie). - Funkcie vzorkovaných hodnôt $rose, $fell.

- Operátory.

- Systémové funkcie a úlohy. - Viacnásobné hodiny.

- Lokálne premenné. - Rekurzívna vlastnosť. - Zisťovanie a používanie koncového bodu sekvencie.

- 'Očakávať'. - 'Predpokladať' a formálne (statické funkčné) overovanie. - Ďalšie dôležité témy.

- Asynchrónne tvrdenia!!! - Funkcie IEEE-1800-2009. - SystemVerilog Assertions LABs.

- System Verilog Assertions - odpovede LAB. - Funkčné pokrytie. - Dôsledky metodiky pokrytia na výkonnosť.

- Možnosti pokrytia (referenčný materiál).