Advanced HDL synthesis and SOC prototyping : RTL design using Verilog /: RTL design using Verilog. ([2019])