I don't think so either. One thing that's interesting here is that this ties into LLVM - perhaps other LLVM languages like Julia or Rust could interop?
I've kind of always felt that synthesizable Verilog/SystemVerilog was good, but the verification side was just too complex and had too much bloat. Testing hardware with Python (like Cocotb) feels more on the right track as a high level UI.
But easily pluggable APIs for foreign SW languages are key as well. Hardware software co-design is only becoming more important.
But easily pluggable APIs for foreign SW languages are key as well. Hardware software co-design is only becoming more important.