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

Descoperim în această ediție actualizată o abordare riguroasă a standardului IEEE-1800–2009, esențială pentru inginerii care doresc să stăpânească verificarea hardware modernă. Notăm cu interes că Systemverilog Assertions and Functional Coverage nu se rezumă la teorie, ci pune accent pe implementarea practică a aserțiunilor asincrone și a funcțiilor de eșantionare a valorilor precum $rose sau $fell. Structura volumului urmărește o progresie logică, pornind de la conceptele de bază ale aserțiunilor imediate și concurente, avansând spre structuri complexe precum proprietățile recursive și utilizarea variabilelor locale în secvențe. Credem că valoarea tehnică a lucrării rezidă în secțiunile de laborator și în log-urile de simulare care însoțesc fiecare concept, oferind soluții directe pentru identificarea bug-urilor greu de depistat în design-urile ASIC/SoC. Pe linia practică stabilită de SVA: The Power of Assertions in SystemVerilog, dar cu un focus distinct pe intersecția dintre aserțiuni și acoperirea funcțională (Functional Coverage), Ashok B Mehta explică modul în care aceste instrumente pot răspunde obiectiv întrebării: „am verificat totul?”. În comparație cu Introduction to SystemVerilog, care oferă o privire de ansamblu asupra întregului limbaj, acest volum se specializează pe mecanismele de verificare, oferind detalii despre „assume”, verificarea formală statică și opțiunile de optimizare a performanței procesului de testare.