Verilog digital system design RT level synthesis, testbench, and verification - Navabi (McGraw-Hill electronic engineering, 2006)