6.375 Course Resources

Spring 2009

6.375 Complex
Digital Systems

• + Course Info
• + Staff
• + Schedule
• + Projects
• + Announcements
• + Handouts
• + Resources

Although there is no text book for this course, there are several books and online resources which may be useful as references. The course locker (/mit/6.375/doc) has user manuals specific to the tools we will be using in the class. The textbooks listed below can be borrowed from the CSAIL reading room (8th floor Gates tower), or the Barker Engineering Library.

Textbooks

• Verilog HDL: A Guide to Digital Design and Synthesis
  Samir Palnitkar, 2nd Ed, 2003
  A good introduction to Verilog-2001 well suited for the beginner.
• HDL Chip Design
  Douglas Smith, 2001
  A great book for the intermediate Verilog designer. Clearly outlines the relationship between Verilog models and the corresponding synthesized circuit.
• Principles of CMOS VLSI Design: A Systems Perspective
  Neil Weste and Kamran Eshraghian, 2nd Ed, Addison Wesley, 1994
  Covers a wide range of digital design topics from circuits to micro-architecture.
• Application-Specific Integrated Circuits
  Michael Smith, Addison Wesley, 1997
  A useful reference on many of the lower-level details about synthesis, place & route, and FPGA mapping.
• Closing the Gap Between ASIC and Custom
  David Chinnery and Kurt Keutzer, Kluwer Academic Publishers, 2003
  Discusses tools and techniques for addressing physical design issues in an attempt to improve the area, power, and performance of ASIC designs.
• Digital Integrated Circuits: A Design Perspective
  Jan Rabaey, Prentice Hall, 1996
  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.375, but it is a valuable resource for learning more about the circuits we are synthesizing to.
• Logical Effort: Designing Fast CMOS Circuits
  Ivan Sutherland, Bob Sproull, and David Harris, Morgan Kaufman, 1999
  This book introduces a framework for simple back-of-the-envelope calculations useful when designing CMOS circuits. The first chapter is available online.
• See MIPS Run
  Dominic Sweetman, 1999
  A very readable book about the MIPS architecture for assembly level programmers.

Papers

• Verilog-2001: What's New
  Stuart Sutherland, Int'l HDL Conference and Exhibition, March 2000
  Crystalizes the key differences between Verilog-1995 and Verlog-2001.
• Parameterized Models Using Verilog 2001
  Cliff Cumminggs, Int'l HDL Conference and Exhibition, May 2002
  Clearly describes the evils of unnamed parameter instations and `defines and shows how the new features in Verilog-2001 provide much safer ways to achieve the same effects.
• RTL Coding Styles That Yield Simulation and Synthesis Mismatches
  Cliff Cumminggs and Don Mills, Synopsys Users Group, San Jose 1999
  Contains an interesting discusion on case statements including information on the common full_case/parallel_case attributes and on the advantages of casez over casex.
• Nonblocking Assignments in Verilog Synthesis, Coding Styles That Kill!
  Cliff Cumminggs, Synopsys Users Group, San Jose 2000
  Clearly explains the fundamentals behind the common wisdom concerning when to use procedural blocking assignments versus non-blocking assignments.
• Library Architecture Challenges for Cell-Based Design
  Barbara Chappel, et. al., Intel Technology Journal, February 2004
  An interesting look at how the 90um Intel Pentium 4 processor was able to use a cell-based design methodology while still achieving an aggressive performance target.
• Designing a Reorder Buffer in Bluespec
  Nirav Dave, VLSI, Formal Methods and Models for Codesign, June 2004
  The complexity and performance requirements of a reorder buffer make it an interesting component for illustrating many of the issues involved in large-scale design with Bluespec.
• Synthesis of Operation-Centric Hardware Descriptions
  James Hoe and Arvind, Int'l Conf. on Computer Aided Design, Novemeber 2000
  Term Rewriting Systems form the theoretical basis for Bluespec and thus this paper outlines some of the deeper theoretical issues involved in efficient hardware synthesis from guarded atomic actions.

Online Links

• CircBSV.tar
  A short demonstration of the use RWire and ConfigReg to improve pipeline thruput. Contains source files and a Makefile
• DE2-70 Manual
  Contains useful device information and pin-outs.
• SMIPS ISA documentation
  
• Course Webpage for 6.375 (Spring 2008)
  The course webpage includes lecture slides, quiz, lab handhouts, and final project reports.
• Course Webpage for 6.375 (Spring 2007)
  The course webpage includes lecture slides, lab handhouts, and final project reports.
• Course Webpage for 6.375 (Spring 2006)
  The course webpage includes lecture slides, lab handhouts, quiz solutions, and final project reports.
• Course Webpage for 6.884 (Spring 2005)
  The very first year 6.375 was offered it was listed as 6.884. The course webpage includes lecture slides, lab handhouts, quiz solutions, and final project reports.
• Course Webpage for 6.371 (Fall 2002)
  6.371 Introduction to VLSI Systems, which is no longer offered at MIT, focused more on the low-level physical design issues discussed in 6.375.
• Online Verilog HDL Quick Reference Guide
  Very useful online reference for Verilog-1995. It won't have the newer Verilog-2001 constructs but it is still a very convenient way to look up 99% of what you need to know.
• Cliff Cummings' Papers on Verilog
  Many papers by Cliff Cummings who is a respected expert on Verilog simulation and synthesis.
• MIPS ISA Documentation
  Official site for the various MIPS architecture specifications. Much of the information on the MIPS32 architecture is applicable to the SMIPS ISA.
• Bluespec, Inc Webpage
  Includes technical white papers and a few tutorials which may be of interest.
• Bluespec Demo on DeepChip
  DeepChip is a great resource for news on varous EDA tools. The site also includes video presentations which demo various tools. There is a Bluespec demo which gives a pretty good overview.