Although there is no text book for this course, there are several books which may be useful as references.

Palnitkar, Samir. Verilog HDL: A Guide to Digital Design and Synthesis. 2nd ed. Upper Saddle River, NJ: Prentice Hall, 2003. ISBN: 0130449113. 
A good introduction to Verilog-2001 well suited for the beginner.

Smith, Douglas. HDL Chip Design. Madison, AL: Doone Publishing, 2001. ISBN: 0965193438. 
A great book for the intermediate Verilog designer. Clearly outlines the relationship between Verilog models and the corresponding synthesized circuit.

Weste, Neil, and Kamran Eshraghian. Principles of CMOS VLSI Design: A Systems Perspective. 2nd ed. Reading, MA: Addison Wesley, 1994. ISBN: 0201533766. 
Covers a wide range of digital design topics from circuits to micro-architecture.

Smith, Michael. Application-Specific Integrated Circuits. Reading, MA: Addison Wesley, 1997. ISBN: 0201500221. 
A useful reference on many of the lower-level details about synthesis, place and route, and FPGA mapping.

Rabaey, Jan, Anantha Chandrakasan, and Borivoje Nikolic. Digital Integrated Circuits: A Design Perspective. Upper Saddle River, NJ: Prentice Hall, 2002. ISBN: 0130909963. 
Classic text on desiging digital circuits. Most of the information in this book is below the level of design we will be using in 6.884, but it is a valuable resource for learning more about the circuits we are synthesizing to.

Sutherland, Ivan, Robert Sproull, and David Harris. Logical Effort: Designing Fast CMOS Circuits. San Francisco, CA: Morgan Kaufman, 1999. ISBN: 1558605576. 
This book introduces a framework for simple back-of-the-envelope calculations useful when designing CMOS circuits. The first chapter is available online.

Sweetman, Dominic. See MIPS Run. San Francisco, CA: Morgan Kaufman, 1999. ISBN: 1558604103. 
A very readable book about the MIPS architecture for assembly level programmers.