Loading...
Please wait, while we are loading the content...
Bluespec and Haskell
| Content Provider | ACM Digital Library |
|---|---|
| Abstract | Bluespec is a commercial hardware design language based on the abstraction of Guarded Atomic Actions (GAAs). GAAs provide a level of modularity and composition that the standard FSM-based representation does not. At it's heart Bluespec can be looked at as a relatively simple DSL (GAAs and modules) with a fully func-tioning Haskell-like meta programming layer on top. Bluespec allows the designer to use different compositional approaches which often results in flexible, robust and efficient designs. We have found that Hardware experts generally have substantially better intuition about which constructions provide better circuit level properties and are easily able to express relatively efficient designs, though, at least initially, in a rather verbose manner. In contrast, functional programmers are almost immediately able to leverage the advanced language features to get a concise and flexible design representation but have difficulty making the generated hardware efficient. As both sets of users gain experience they get better at the other aspect of design and climb towards achieving both microarchitectural and representational excellence simultaneously which appears unmatched by other higher-level general purpose hardware languages. We will present a historical development of Bluespec, and muse on topics such as C-based versus FP-based syntax, DSLs versus Embedded DSLs etc. |
| Starting Page | 1 |
| Ending Page | 2 |
| Page Count | 2 |
| File Format | |
| ISBN | 9781450323802 |
| DOI | 10.1145/2505351.2508149 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2013-09-22 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Hdl Haskell Bluespec |
| Content Type | Text |
| Resource Type | Article |
