Writing Testbenches using System Verilog - Bergeron, Janick (Springer US : Imprint: Springer, 2006)