Digital Design: With an Introduction to the Verilog HDL by Mano, M. Morris, Ciletti, Michael D. (2012) Hardcover