Most of the documents referenced by this page are available in PDF format. On Athena, Mozilla is already configured with the necessary plug-in to view PDF files. To configure the browser on your machine you may need to download and install the Adobe Acrobat Reader.
Lectures
- L01: Complex Digital Systems [ PDF ] (02/06/08)
- L02: Verilog 1 - Fundamentals [ PDF ] (02/08/08)
- L03: Verilog 2 - Design Examples [ PDF ] (02/11/08)
- L04: Bluespec-1: A new design methodology [ PDF ] (02/13/08)
- L05: Bluespec-2: GCD Example [ PDF ] (02/15/08)
- L06: Bluespec-3: Combinational Circuits & Simple Synchronous Pipelines [ PDF ] (02/20/08)
- L07: Bluespec-4: Architectural exploration using IP lookup [ PDF ] (02/22/08)
- L08: Bluespec-5: Modeling Processors [ PDF ] (02/25/08)
- L09: Bluespec-6: Bypassing [ PDF ] (02/27/08)
- L10: Bluespec-7: Modular Refinement [ PDF ] (03/03/08)
- L11: Bluespec-8: Performance Issues [ PDF ] (03/05/08)
- L12: Bluespec-9: Multiple clock domains [ PDF ] (03/07/08)
- L13: Guest Lecture - ESL design [ PDF ] (03/10/08)
- L14: Final Project Ideas [ PDF ] (03/12/08)
- L15: Physical Design 1 [ PDF ] (03/14/08)
- L16: Physical Design 2 [ PDF ] (03/16/08)
Quiz
Lab Assignments
- Lab 1: Verilog RTL for 2-Stage SMIPSv2 Processor [ PDF ]
- Lab 2: Bluespec Implementation of a 3-Stage SMIPSv2 Processor [ PDF ]
- Lab 3: ASIC Implementation of a 3-Stage SMIPSv2 Processor [ PDF ]
Tutorials
The following tutorials show how to use the 6.375 toolflow on Athena/Linux. See 6.375 Athena Computing Resources for more information on the computing resources available for the class.