SystemVerilog for design a guide to using SystemVerilog for hardware design and modeling - Davidmann, Simon; Flake, Peter (Springer, 2006)
Includes bibliographical references and index