The Art of Verification with SystemVerilog Assertions

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

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