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