Digital logic design using Verilog coding and RTL synthesis - Taraate, Vaibbhav (Springer India, 2016)