Eduard Cerny, Surrendra Dudani, John Havlicek, Dmitry Korchemny The Power of Assertions in SystemVerilog - Springer eBooks 2010 ISBN: 9781441966001