A practical guide for system Verilog assertions - 229536 Vijayaraghavan, Srikanth; Ramanathan, Meyyappan (New York, NY : Springer, 2005)
16