3 ms·
I guess it would be more accurate to say, when I was trying to learn Verilog, people I knew tried to convince me to abandon Verilog in favor of Haskell flavors.
by fabulist 11y ago
I guess it would be more accurate to say, when I was trying to learn Verilog, people I knew tried to convince me to abandon Verilog in favor of Haskell flavors. This gave me the (perhaps false) impression that this was common practice.
- tel 11y agoThe Haskell flavored tend to be clever ways to get a functional language without recursion.
- nickpsecurity 11y agoIt's not common but many swear by it in form of Bluespec: a Haskell extension/modification for HDL with RTL output. Look them up. Further, dig in the CHERI project for their processor source as it'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' Verilog projects are less complicated. :) https://www.cl.cam.ac.uk/research/security/ctsrd/beri/ https://www.cl.cam.ac.uk/research/security/ctsrd/beri/ Also you might find Synflow's HDL interesting. It's on my backlog as I'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. http://cx-lang.org/ http://cx-lang.org/