[dgrnbrg]

I have been working on this problem as well, by writing a system that allows you to compile Clojure to FPGAs. I'll be giving a talk on it at Clojure West: http://clojurewest.org/sessions#greenberg

</shamelessplug>

[DanWaterworth]

I've also been working on a HDL DSL. I've been using Idris; the type of a circuit ensures that it implements the correct behaviour.

[toolslive]

what about this one? http://cufp.org/conference/sessions/2012/peter-braam-paralle...