Advanced digital design with the verilog HDL - Ciletti, Michael D (PHI, 2012)