-
I am developing the risc-v simulator (https://gitlab.com/quantr/toolchain/riscv-simulator), we record every instructions+registers that qemu execute and compare them to ours. Is there any other way to cross-check the correctness of the execution of our simulator?
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
-
Someone correct me if I'm wrong, but Spike is considered the gold standard for RISV-V simulation, in terms of support for extensions and overall correctness. As I understand it, QEMU is faster and easier to use for day-to-day for general software development.
-
You might be able to hook up your simulator to risc v-formal https://github.com/SymbioticEDA/riscv-formal
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
-
OS4C: An Open-Source SR-IOV System for SmartNIC-Based Cloud Platforms
-
Ubitium is developing 'universal' processor combininh CPU, GPU, DSP, and FPGA
-
A Lisp compiler to RISC-V written in Lisp
-
Tiny Tapeout: an educational project to get your designs manufactured on a real
-
Flexible RISC-V Processor: Could Cost Less Than a Dollar