Digital Design : An Embedded Systems Approach Using Verilog - Ashenden, Peter J. (Morgan Kaufmann)