The Art of Verification with SystemVerilog Assertions

„Изкуството на верификацията с Assertions на SystemVerilog (SVA) обхваща всички аспекти на SVA, придружени от многобройни и подробни примери. Книгата показва как може да се използва SVA за реализиране на ефективна верификация, основана на твърдения.

Тя обучава читателя по езика SVA, като разглежда неговото приложение в контекста на практически проблеми при верификация. Синтаксисът и характеристиките на SVA са представени по ясен и достъпен начин. Употребата на всеки конструкция е демонстрирана чрез както опростени примери, така и такива извлечени от често срещани проблеми при верификация. SVA служи за разработване на ефективна стратегия за верификация, базирана на твърдения, за кеш OCP.“