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