sur 17
A Practical Guide for SystemVerilog Assertions — Srikanth Vijayaraghavan, Meyyappan Ramanathan