Nice. BlueSpec (Haskell based) was open sourced few years ago. I wonder how it compares with BlueSpec.