Verilog HDL digital design and modeling - Cavanagh, Joseph (Boca Raton CRC Press, 2012)