The power of assertions in systemverilog ... [et al.] - Cerny, Eduard (Springer, 2010)