The Art of Verification with SystemVerilog Assertions

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

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