Book

Verification methodology manual for SystemVerilog

by Janick Bergeron, Eduard Cerny, Alan Hunter, Andy Nightingale