A tutorial for learning the Bluespec BSV HLHDL (High Level Hardware Design Langauge)
BSV is a High-level Hardware Design Language (HLHDL), taking its inspirations from Haskell and Term Rewriting Systems. A commercial implementation of BSV (a compiler from BSV into Verilog) has been available from Bluespec, Inc. (www.bluespec.com) since 2004, and has been used for several industrial-strength hardware designs.
Please start by reading the file START_HERE.pdf. Briefly: the directory Example_Programs contains a series of example programs starting from extremely simple ("Hello World") to fairly complex (concurrent memory-to-memory Mergesort). Each example has an accompanying PDF file to explain it. All examples can be built and run using the Makefile in the Build directory (provided you have an installation of the Bluespec BSV tools).
The Reference directory contains a series of PDF lectures that explain the language syntax, semantics, libraries and idioms, organized by topic.