[mhh__]

Bluespec is Haskell underneath SystemVerilog on top and it seems quite nice.

It's open source as of about a year ago