IMPORTANT NOTE: The IAPBlue course was based on what we now call Bluespec Classic, which is a version that pre-dated the commercial offerings of Bluespec and is no longer available. To learn more about current Bluespec, please visit http://csg.csail.mit.edu/6.375/ or www.bluespec.com.

A Mini Course on Bluespec
Bluespec is a language for hardware design, simulation, synthesis and verification. It has a new and different semantic model than traditional hardware description languages like Verilog and System-C. Its execution model is also different from software languages like C and Java. Bluespec can raise the level of hardware design significantly without compromising the ability to synthesize efficient hardware. Bluespec is based on research done at MIT in using Term Rewriting Systems (TRS) for hardware description and was developed into an "industrial strength" language and compiler by Sandburst Corporation.

The purpose of this mini course is to introduce participants to Bluespec by explaining the underlying execution model, by showing rich yet simple examples and by providing an opportunity to program with Bluespec in four laboratory sessions. The course is intended primarily for graduate students, staff and faculty in LCS, though we expect a small number of participants from industry as well. A reasonable degree of sophistication will be assumed regarding architectures and programming languages. A knowledge of Verilog or Haskell would be helpful but is not assumed.

Jan 13-16: First Lecture 10:00-10:55AM, Second Lecture 11:05-12:00PM, Lab 1:30-4:00PM
Jan 17: Bluespec workshop (by inivitation only)

Each day there will be a lecture from 10:00 - 10:55 AM followed by a 10 minute break and another lecture from 11:05 - 12:00 PM. These lectures will be held in the lounge on the 2nd floor of LCS (building NE43). After lunch we will conduct labs from 1:30 - 4:00 PM. We will begin each lab in the 2nd floor lounge with a short introduction and handouts, after which participants can stay and use our computers or are welcome to return to their offices and work from their own computers. We encourage participants to work in groups and discuss the lab exercises, so those with offices in the building may still choose to remain on the 2nd floor in order to collaborate with the other participants.

NE43- 2nd floor lounge