Verilog HDL digital design and modeling - Cavanagh (CRC Press, 2007)