Verilog 2001 for beginners - Ciletti, Michael D.