Resources

Reference Materials

• Minispec

  • Minispec tutorials
    • Combinational logic [interactive] [pdf] [pdf, executed]
    • Sequential logic [interactive] [pdf] [pdf, executed]
    • These tutorials provide a first introduction to Minispec. They are interactive Jupyter notebooks, but we also provide PDF printouts for offline use.
  • Minispec reference
    • This is the primary reference for the Minispec language, covering its syntax and semantics in full. It is more more detailed than the Minispec tutorials, and is useful mainly to answer particular questions on syntax and to learn the language in depth.
  • 6.004 JupyterHub
    • JupyterHub server used for Minispec tutorials and to learn the language. (Please do not use this for labs, use Athena instead.)
  • Minispec syntax setup [vim] [emacs] [nano] [pygments]
    • To set up other editors, since Minispec's syntax is a subset of Bluespec's, you can use any available syntax files for Bluespec and configure your editor to treat Minispec files (ending in .ms) as Bluespec files. Bluespec syntax files: [Atom] [VSCode] [Sublime Text]

• RISC-V

  • 6.191 (6.004) ISA Reference Tables
    • Reference for the subset of RISC-V covered in 6.191 (Includes references for assembly programming as well)

• Student's 6.004 notes from FA20

Reading Materials

• Digital Design: A Systems Approach, William J. Dally and R. Curtis Harting, Cambridge University Press, 1st ed., 2012.
• Computer Organization and Design: The Hardware Software Interface, RISC-V Edition, David A. Patterson and John L. Hennessy, Morgan Kaufmann, 1st ed., 2017.
• Computation Structures Online Materials Note: These materials correspond to the old version of 6.004, and parts of it are out of date.