The Power of Assertions in SystemVerilog - Cerny, Eduard. (Springer US : Imprint: Springer, 2010)