Digital design and Verilog HDL fundamentals - Cavanagh (CRC Press, 2008)