Digital logic design using Verilog : coding and RTL synthesis /: coding and RTL synthesis. (2016)