Verilog for digital design - Vahid, Frank (John Wiley, 2007)