Verilog digital system design : RT level synthesis, testbench, and verification - Navabi, Zainalabedin. (McGraw-Hill, 2006)