Modeling, Synthesis and Rapid Phototyping with VERILOG HDL - Ciletti, Michael D (New Delhi Pearson, 2010)