6.375 Course Resources

Spring 2016

Lab Resources

Refer to the Lab Resources page.

Syntax highlighting and indentation for Bluespec

Emacs Users: emacs

If the above link does not work with newer emacs users: try this bsv-mode.el instead.
Thanks to Pranjal Vachaspati

Vim Users: vim

Piazza

6.375 class page

Books

Computer Architecture: A Constructive Approach, Arvind, Rishiyur S. Nikhil, Joel S. Emer, and Murali Vijayaraghavan (Revision: August 25, 2015)

Reading Materials

Learning Bluespec: BSV By Example, Rishiyur S. Nikhil and Kathy R. Czeck
Recommended reading: Computer Organization and Design: the Hardware/Software Interface, John L. Hennessy and David A. Patterson
For Advanced reading: Computer Architecture: A Quantitative Approach, John L. Hennessy and David A. Patterson

Reference Materials

BSV Language Reference: Bluespec Reference Guide
BSV User Guide: Bluespec User Guide
RISC V Instruction Set Architecture References
- User-Level ISA Specification v2.0
  Instruction set: Chapter 2 "RV32I Base Integer Instruction Set", page 9-18. (We do not implement LB, LBU, LH and LHU.)
  
  Instruction encoding: Chapter 8 "RV32/64G Instruction Set Listing", page 49-50
- Privileged ISA Specification v1.7
  Instructions to access CSR: Chapter 2 "Control and Status Registers (CSRs)", page 7-8. (We only implement CSRRW and CSRRS.)
  Complete CSR listing: Chapter 2 "Control and Status Registers (CSRs)", page 9-13. (We only implement following CSRs: cycle, instret, mhartid, and mtohost.)