Lab Machines
Refer to the Lab Machines 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
Books
- Introduction to Digital Design as Cooperating Sequential Machines By Arvind, Rishiyur S. Nikhil, James E. Hoe, Silvina Hanono Wachman
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
FFT Labs Reading Materials
Reference Materials
- BSV Language Reference: Bluespec Reference Guide
- BSV User Guide: Bluespec User Guide
- RISC V Instruction Set Architecture References