SystemVerilog for Verification - innbundet, Engelsk, 2012