The Art of Verification with SystemVerilog Assertions

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

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