[GregarianChild]

There is a lot of resistance to dropping Verilog among working processor designers in my experience. Interestingly, LLHD is being folded into CIRCT [1] which is part of LLVM.

[1] https://github.com/circt

[sitkack]

I am trying to come to grips with this, this looks like this sets up the condition where the whole language compiler stack can change the target architecture and implementation.

This feels like some powerful algebraic property has been satisfied.

https://en.wikipedia.org/wiki/Popek_and_Goldberg_virtualizat...