The power of assertions in SystemVerilog (Springer, 2010)
Includes bibliographical references and index