Digital design : with a introduction to the verilog hdl - Mano, M. Morris (Pearson Education Ltd., 2013)