Book recommendations for digital circuit design?
You might find it interesting to look at the open courseware site for the MIT 6.004 lecture/lab course.  Look at both the lecture slides and the labs.

http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-004-computation-structures-spring-2009/

I'm not familiar with the content of the 2009 version (having taken it back when it was breadboards &amp; modules) but later used the 2004? OCW version (java iirc simulation) as a reference, then implemented that processor architecture in verilog and subsequently in an FPGA kit.