Verilog digital system design - Navabi, Zainalabedin (McGraw-Hill, 1999)