Digital system design with SystemVerilog - Zwolinski , Mark (Pearson, 2010)