FULL DAY TUTORIAL
       "Hands-on Introduction to BSV (Bluespec SystemVerilog)"
	     at the MEMOCODE 2008 Conference, Anaheim, CA
			(co-located with DAC)
			Saturday, June 7, 2008

BSV is a modern, fully synthesizable design language in which all
behavior is expressed with Guarded Atomic Actions (rewrite rules,
concurrent atomic transactions).  Rules can systematically be composed
from fragments across module boundaries using atomic transactional
interfaces.  In addition, BSV has powerful abstraction mechanisms such
as expressive and polymorphic types with overloading and strong static
type-checking, full orthogonality (all types are first-class), and
Turing-complete static elaboration.  Thus, BSV is scalable to large,
industrial-strength SoCs even while designs remain highly
parameterized and succinct.

In this tutorial you will get a solid technical introduction to BSV
and learn how it improves many aspects of modern SoC development:
modeling, early SW development, architecture exploration, design,
verification, and long-term evolution and maintenance.  The lectures
will be organized around a few serious examples and we will examine
and analyze excerpts of their actual source code.

The tutorial is also hands-on: Participants who bring their laptops
will receive a non-commercial but full-featured short-term
installation of the latest release of BSV (native under Linux, and via
a VMWare image for other OSs).  During the tutorial you will work with
lab exercises tied to the lecture content.  After the tutorial you
will be able to continue your own exploration with plenty of other
examples and lab exercises.

SPEAKERS:

- Arvind, Johnson Professor of Computer Science and Engineering,
  Massachusetts Institute of Technology (MIT).  Co-originator (along
  the James Hoe) of the synthesis technology underlying BSV.
  Co-founder of Bluespec, Inc.

- Rishiyur Nikhil, CTO and co-founder of Bluespec, Inc.

- Several MIT students who are Bluespec experts will also be present
  to assist participants with the lab work.