Asserzioni e copertura funzionale in Systemverilog: Guida al linguaggio, alla metodologia e alle applicazioni

Recensioni dei lettori

Il libro fornisce preziose informazioni sulle asserzioni di SystemVerilog (SVA) e sulla copertura funzionale, rendendolo un'ottima risorsa per gli ingegneri addetti alla verifica e alla progettazione. Include esempi pratici e applicazioni reali che ne migliorano la comprensione. Tuttavia, alcuni utenti hanno riscontrato difficoltà nel reperire online il codice sorgente di accompagnamento, il che può influire sulla fruibilità complessiva del libro.

⬤ Prezioso per gli ingegneri verificatori.
⬤ Facile da leggere e da capire.
⬤ Conoscenza approfondita delle asserzioni e della copertura funzionale.
⬤ Esempi pratici che consolidano i concetti.
⬤ Ottimo per l'implementazione diretta senza una teoria pesante.
⬤ Eccellente libro di riferimento con un indice e una TOC solidi.

⬤ Difficoltà nel trovare il codice sorgente online per i laboratori.
⬤ Sono stati suggeriti altri esempi.
⬤ Alcuni utenti hanno trovato poco chiare le istruzioni per l'accesso online.

(basato su 8 recensioni dei lettori)

Titolo originale:

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

Contenuto del libro:

Introduzione. - Asserzioni del sistema Verilog.

- Asserzioni immediate. - Asserzioni concorrenti - Nozioni di base (sequenza, proprietà, asserzione). - Funzioni di valore campionario $rose, $fell.

- Operatori.

- Funzioni e task di sistema. - Orologi multipli.

- Variabili locali. - Proprietà ricorsiva. - Rilevamento e utilizzo del punto finale di una sequenza.

- 'aspettarsi'. - 'assume' e verifica formale (funzionale statica). - Altri argomenti importanti.

- Asserzioni asincrone!!! - Caratteristiche IEEE-1800-2009. - LAB sulle asserzioni di SystemVerilog.

- Asserzioni di System Verilog - Risposte al LAB. - Copertura funzionale. - Implicazioni sulle prestazioni della metodologia di copertura.

- Opzioni di copertura (materiale di riferimento).