BlueSpec - Computation Structures Group - MIT
BlueSpec - Computation Structures Group - MIT
BlueSpec - Computation Structures Group - MIT
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
What is <strong>BlueSpec</strong><br />
A language for hardware description<br />
Based on TRS (term rewriting systems)<br />
Syntax and type system based on<br />
Haskell<br />
Run-time execution model quite unlike<br />
Haskell’s<br />
Compiled to structural Verilog<br />
. . . or C<br />
. . . or FPGAs.<br />
7