Zainalabedin Navabi: Hardware Description in Verilog. The VLSI Handbook 1999