SVA: The Power of Assertions in SystemVerilog - Cerny, Eduard; Dudani, Surrendra; Havlicek, John; Korchemny, Dmitry (Springer International Publishing : Imprint: Springer, 2015)