" RTL modeling with SystemVerilog for simulation and synthesis using SystemVerilog for ASIC and FPGA design / " Stuart Sutherland.