It&#x27;s not common but many swear by it in form of Bluespec: a Haskell extension&#x2F;modification for HDL with RTL output. Look them up. Further, dig in the CHERI project for their processor source as it&#x27;s Bluespec for a security-enhanced, MIPS64 processor which might give you a good idea about what the language is like. Very real-world project. Already runs capability-secure FreeBSD. Most newcomers&#x27; Verilog projects are less complicated. :)<p><a href="https:&#x2F;&#x2F;www.cl.cam.ac.uk&#x2F;research&#x2F;security&#x2F;ctsrd&#x2F;beri&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.cl.cam.ac.uk&#x2F;research&#x2F;security&#x2F;ctsrd&#x2F;beri&#x2F;</a><p>Also you might find Synflow&#x27;s HDL interesting. It&#x27;s on my backlog as I&#x27;d rather get diverse and experienced HDL users to put it through the paces. They have several, non-trivial IP for sale that they coded in it and for cheap, too.<p><a href="http:&#x2F;&#x2F;cx-lang.org&#x2F;" rel="nofollow">http:&#x2F;&#x2F;cx-lang.org&#x2F;</a>