The Art of Verification with SystemVerilog Assertions

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

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