-
Notifications
You must be signed in to change notification settings - Fork 4
Description
Hello,
I am trying to reproduce the BMCFuzz project and its evaluation results. However, I cannot determine which exact versions/commits of the following processor cores are used:
NutShell
BOOM
Rocket
I also cannot confirm whether this project modifies these core sources (fork/patch) or uses upstream repositories as-is.
Could you please clarify the following for reproducibility?
For NutShell / BOOM / Rocket, what are the exact upstream repository links and commit hashes/tags used by this project (and by the paper/experiments, if applicable)?
If there are any modifications, could you provide:
links to your forks, or patch/diff files, or the list of additional commits on top of upstream?
Are there any required toolchain/version constraints to build and run successfully (e.g., Chipyard version, Chisel/FIRRTL, Scala/SBT, Verilator, Java)?
If the intended workflow is via submodules or scripts, could you point me to the correct checkout/build commands or documentation?
What I checked:
I searched for explicit version pins in submodules/dependency scripts, but did not find clear commit hashes/tags for these cores.
If you can point to the exact file(s) or command(s) that lock these versions, that would also help!