clash-compiler

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/ [2] https://github.com/clash-lang/clash-compiler [3] https://github.com/christiaanb/contranomy

What has changed that they are now ripe for disruption? My BSc thesis supervisor runs a company that tries to disrupt Verilog and VHDL and they've been at it for well over a decade. I don't think they're making much of a dent yet but I didn't keep up with the space: https://github.com/clash-lang/clash-compiler. There's also a RISCV implementation written in it. All the tooling in this space is so expensive to build and expensive to verify, with such a small market that it seems almost impossible for something to ever challenge the incumbent ecosystems in a reasonable span of time.

We use haskell to design digital circuits using clash[1] and currently using Rust on the driver side. We also have multiple web apps with Haskell backends using rescript in the front end. [1] https://github.com/clash-lang/clash-compiler

Yeah, specialized computing leading to FPGAs and ASICs is quite an interesting path, I've always wanted to compile my code as a processor instruction/co-processor/fpga thingmajingle to cut down on all the bloat at once, mister is so much on my to-buy list. Imagine writing haskel and having it become literal hardware, like https://github.com/clash-lang/clash-compiler

Try out Clash: https://github.com/clash-lang/clash-compiler Honestly I think it's maybe the best way to write new digital circuits today. I tried nMigen but it doesn't seem suited to write local in at all. It's easy to connect things together but actually writing something is a PITA.