Originally published at 32 bit.me. You can comment here or there.
Хорошая книга.
В книге дается большое количество примеров кода на SV, а не просто перечисление синтаксических конструкций языка. Также в книге излагаются основы методологии CRT — Constrained Random Testing. Рекомендую всем.