Verilog for digital design - Vahid, Frank; Lysecky, Roman (Wiley, 2007)