And I've been involved in a project that's making heavy use of Bluespec: https://github.com/B-Lang-org/bsc/ https://github.com/B-Lang-org/bsc/ Same problem tho

And I've been involved in a project that's making heavy use of Bluespec: https://github.com/B-Lang-org/bsc/ https://github.com/B-Lang-org/bsc/ Same problem though - you have to transpile it down to Verilog to use it in anything beyond a simulation.