3 ms·
There's already a commercial functional hardware description language called Bluespec. http://en.wikipedia.org/wiki/Bluespec,_Inc http://en.wikipedia.org/wiki/B
by akuma73 13y ago
There's already a commercial functional hardware description language called Bluespec.
http://en.wikipedia.org/wiki/Bluespec,_Inc http://en.wikipedia.org/wiki/Bluespec,_Inc.
- knz42 13y agoBluespec has a strange story: initially it was developed like Clash, as a subset of Haskell that could be translated to a HDL. However its users hated the Haskell syntax, so the Bluespec designers added a layer of syntax on top to make it look like more a HDL, and they also downplayed the powerful type system for adoption. Since then, Bluespec has not become too popular, but Haskell has. Clash may have a chance.
- aninhumer 13y agoI work with Bluespec. It's miles better than Verilog, but coming from a Haskell background, I can't help but feel disappointed with the limitations their alternative syntax puts on my ability to abstract things. (No lambdas, no do-notation, needlessly verbose sum types) I'm also not really convinced by their hardware model (Guarded Atomic Actions). In practice, I've found that it leads to very disjointed flow control, and forbids what seem like intuitive designs.