Open-source CPU targets

[taqtiqa-mark]

Are any of the following open-source CPUs targets for powdr?

Specifically, should I ever expect that powdr will run on, say, the Berkeley/SiFive Rocket rv32ima, etc

• [ ] Berkeley/SiFive Rocket - https://github.com/chipsalliance/rocket-chip
• [ ] Bluespec Flute - https://github.com/bluespec/Flute
• [ ] OpenHardware Group CVA6 - https://github.com/openhwgroup/cva6.git (a.k.a. ETH Zurich Ariane)
• [ ] PicoRV32 - https://github.com/YosysHQ/picorv32/tree/main
  • RV32im instructions

[leonardoalt]

Hi @taqtiqa-mark !

I'm personally not familiar with those specific variants, but if you can generate LLVM assembly (AT&T asm syntax) using rv32imac ISAs our powdr-rs crate should be able to compile it to powdr-IR using the asm input.

As I see in the script you linked, it looks like it also generates a rv32ima ELF. Although our ELF frontend only supports rv32im, it's in general possible to remove the atomic instructions by using passes=loweratomic.

It'd be great to have a look at any specific assembly or ELF files you're interested in, otherwise we can have a look ourselves at some point (it'll just take a bit longer).