SystemVerilog for verification

《SystemVerilog for verification》, Springer 2006年7月出版，2008年9月第二版。中文版为《SystemVerilog验证 -- 测试平台编写指南》，科学出版社2009年9月出版。