Recenzii ale cititorilor
Rezumat:Cartea oferă informații valoroase despre SystemVerilog Assertions (SVA) și acoperirea funcțională, ceea ce o face o resursă excelentă pentru inginerii de verificare și inginerii de proiectare. Ea include exemple practice și aplicații din viața reală care sporesc înțelegerea. Cu toate acestea, unii utilizatori au întâmpinat dificultăți în găsirea online a codului sursă însoțitor, ceea ce poate afecta utilitatea generală a cărții.
Avantaje:⬤ Valoroasă pentru inginerii de verificare.
⬤ Ușor de citit și de înțeles.
⬤ Cunoștințe aprofundate privind aserțiunile și acoperirea funcțională.
⬤ Exemple practice care consolidează conceptele.
⬤ Bună pentru punerea în aplicare directă fără teorie grea.
⬤ Carte de referință excelentă cu un index și un TOC solide.
Dezavantaje:⬤ Dificultate în găsirea codului sursă online pentru laboratoare.
⬤ Au fost făcute sugestii pentru mai multe exemple.
⬤ Unii utilizatori au considerat instrucțiunile de acces online neclare.
(pe baza a 8 recenzii ale cititorilor)
Titlul original:
Systemverilog Assertions and Functional Coverage: Guide to Language, Methodology and Applications
Conținutul cărții:
Introducere. - Aserțiuni System Verilog.
- Aserțiuni imediate. - Aserțiuni concurente - Noțiuni de bază (sequence, property, assert). - Funcții de valoare eșantionată $rose, $fell.
- Operatori.
- Funcții și sarcini de sistem. - Ceasuri multiple.
- Variabile locale. - Proprietatea recursivă. - Detectarea și utilizarea punctului final al unei secvențe.
- „așteptare”. - „presupune” și verificarea formală (funcțională statică). - Alte subiecte importante.
- Aserțiuni asincrone!!! - IEEE-1800-2009 Caracteristici. - SystemVerilog Assertions LABs.
- System Verilog Assertions - Răspunsuri LAB. - Acoperirea funcțională. - Implicații de performanță ale metodologiei de acoperire.
- Opțiuni de acoperire (material de referință).
