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