Digital design : an embedded systems approach using Verilog - Ashenden, Peter J. (Elsevier : Morgan Kaufmann, 2008)