Lecture notes and handouts from the class will be posted on the schedule page. This page provides general reference documentation on the Bluespec language and compiler. It is provided here for course participants. This information will be made available on the Bluespec website for the general public.

Downloading the Bluespec compiler

The Bluespec compiler is downloadable for free from www.bluespec.com under individual or institutional licenses. MIT has an institutional license for Bluespec. Please contact Jacob Schwartz for information on using the MIT license to download the compiler to MIT machines. For this course we will create an account for any participant who wants to use Bluespec on one of our machines.

Getting started

• Bluespec Language Reference Manual
• Compiler User Manual

Source code for the standard prelude and libraries

• Prelude Bluespec definitions
• Library Bluespec definitions
• C implementations of prelude and library primitives
• Verilog implementations of prelude and library primitives

Examples

• Traffic Light Tutorial
• Bluespec Tidbits