BSV Reference Manual

The Bluespec Reference Guide is a detailed language reference manual and set of documentation for the library packages

BSV User Guide

The Bluespec User Guide describes the mechanics and logistics of running the Bluespec tools from either the Development Workstation or the unix command line.  The User Guide also contains the reference manuals for Bluesim and Bluetcl.

BSV Quick Reference Card

This card is a short, convenient reference to Bluespec SystemVerilog syntax.

BSV Style Guide

This document is provided as a supplemental aid to the Reference and User Guides.  It describes Bluespec SystemVerilog coding guidelines though a series of descriptions and examples, where the objectives are to:

• bring experienced Verilog and VHDL designers up to speed with the abilities and features of Bluespec,
• enable designers to produce expected RTL with respect to interfaces, and structures,
• allow designers to take advantage of the extensive libraries provided by Bluespec.

Known Problems and Solutions

KPNS describes some known issues with the compiler and their solutions.

Verification with Bluespec SystemVerilog

This document provides a verification methodology for use with Bluespec System Verilog designs.

Understanding Error Messages

More detail on what error messages mean and what to do about them.  And incomplete list, but this will be filled in over time...