Writing testbenches using SystemVerilog - Bergeron, Janick (Springer, 2006)
Includes bibliographical references and index