The Art of Verification with SystemVerilog Assertions

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

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