Bluespec

Bluespec presents the hardware designer an exciting new way to simplify the complexity of constructing control logic while retaining full control over the architecture and performance of the design.

Bluespec’s ESL synthesis toolset for control logic and complex datapath designs significantly accelerates hardware design & reduces verification costs delivering:

1. Over a 50% reduction in time to a verified design;
2. Less than 50% of the bugs compared to RTL design;
3. Design exploration and feature changes can be made correctly and much more quickly
   

http://www.xilinx.com/products/design_tools/logic_design/advanced/esl/bluespec.htm

Bluespec learning documentations:

http://sites.google.com/a/bluespec.com/learning-bluespec/Home/BSV-Documentation

Bluespec documentations:

http://www.bluespec.com/support/documents/

Bluespec forums:

http://www.bluespec.com/forum/viewtopic.php?p=178

Bluespec small examples:

http://sites.google.com/a/bluespec.com/learning-bluespec/Home/Small-Examples

Bluespec E-books:

http://www.pdf-search-engine.com/bluespec-pdf.html

Import C to Bluespec:

http://www.bluespec.com/forum/viewtopic.php?p=415

Some blogs about Bluespec:

http://edacn.net/index.php/83433/spacelist-blog-itemtypeid-1443.html