"A Practical Guide for SystemVerilog Assertions" - читать интересную книгу автора (Srikanth Vijayaraghavan, Meyyappan Ramanathan)