Digital design with an introduction to the verilog HDL - Mano, M. Morris (Noida Pearson, 2017)