Digital design with an introduction to the Verilog HDL - Mano, M. Morris; Ciletti, Michael D.