Clash-VerilogVHDL

Functional simulation in Haskell from existing Verilog/VHDL code
Is freely licensed? ✅
Website https://www.clash-lang.org
NLNet grant pages