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