Verilog Computer-Based Training Course - Navabi, Zainalabedin (McGraw-Hill, 2002)