> if there are synthesizable subsets for more and more programming languages Haskell is the only language I'm aware of that has semantics approaching those of

> if there are synthesizable subsets for more and more programming languages Haskell is the only language I'm aware of that has semantics approaching those of hardware - in particular, purity and non-strict evaluation are absolutely required to match (or closely approximate) the semantics of digital hardware. (To get you started - bottom is equivalent to X in the HDL simulator nomenclature) > Chisel or SpinalHDL... HDL based on OCaml or ML Chisel is a shallow embedding. Not sure about SpinalHDL. Hardcaml is a shallow embedding. Very different approach from Clash, and I prefer Clash's deep/direct embedding approach.