I thought that this was about the hardware description language Clash developed by some ex-colleagues, but it appeared to be something else. Clash [1] is based

I thought that this was about the hardware description language Clash developed by some ex-colleagues, but it appeared to be something else. Clash [1] is based on the functional programming language Haskell and it can output to VHDL, Verilog, or SystemVerilog. Although the last official release mentioned on the website is from 2021, it is still actively developed on GitHub [2]. See also contranomy [3] for a non-pipelined RV32I RISC-V core written in Clash. [1] https://clash-lang.org/ https://clash-lang.org/ [2] https://github.com/clash-lang/clash-compiler https://github.com/clash-lang/clash-compiler [3] https://github.com/christiaanb/contranomy https://github.com/christiaanb/contranomy