Import MuraxSoC as a VtR benchmark

[mithro]

The SymbiFlow project is using MuraxSoC. This is the VexRISC-V configured as a "Cortex M0" style 32bit RISC-V processor + supporting infrastructure (XIP SPI controller, UART, etc).

The SymbiFlow Architecture Definitions repository is already running PicoSoC through VtR with our own architecture files both for Xilinx Series 7 and Lattice iCE40. You can find a copy of the exact things we are testing here.

It would be good if this benchmark was included in the normal VtR benchmarks.

[mithro]

FYI - @acomodi - Do you want to take this on, or is it better for @vaughnbetz to get one of his students to look at this?

[mithro]

One potential issue is that most benchmarks in VtR are using ODIN-II, while SymbiFlow uses Yosys.

[vaughnbetz]

Adding @suyang5 to this discussion too. My comments are the same as on the earlier benchmark.

[github-actions]

This issue has been inactive for a year and has been marked as stale. It will be closed in 15 days if it continues to be stale. If you believe this is still an issue, please add a comment.

[github-actions]

This issue has been marked stale for 15 days and has been automatically closed.