Digital design with : an introduction to the Verilog HDL (England : Pearson Education Limited, 2013)
Includes appendix, answer to selected problems, index