Resources

Syntax Highlighting for Bluespec

Consult the README file in each of the directories for details.

• Vim
• Emacs (if this doesn't work, try bsv-mode.el, with thanks to Pranjal Vachaspati).

---

Course Textbook

• 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. Czecka
• Recommended reading: Computer Organization and Design: the Hardware/Software Interface, David A. Patterson and John L. Hennessy
• Advanced reading: Computer Architecture: A Quantitative Approach, John L. Hennessy and David A. Patterson

---

Reference Materials

• Bluespec
  • Bluespec Reference Guide
  • Bluespec User Guide
  • Bluespec Known Problems and Solutions (KPNS)
• RISC-V
  • User-Level ISA Specification v2.1
    • Instruction set: Chapter 2, "RV32I Base Integer Instruction Set, Version 2.0", pages 9-23. (We do not implement LB, LBU, LH and LHU.)
    • Instruction encoding: Chapter 9, "RV32/64G Instruction Set Listings", pages 53-54.
    • CSR instructions: Chapter 2, Section 8, "Control and Status Register Instructions", pages 20-23. (We only implement CSRRW and CSRRS.)
  • Draft Privileged ISA Specification v1.9
    • Complete CSR listing: Chapter 2, Section 2, "CSR Listing", pages 7-13. (We only implement following CSRs: cycle, instret, mhartid, and mtohost.)

---

Previous Offerings

• 6.175, Fall 2015
• 6.175, Fall 2014
• 6.S195, Fall 2013