Comments (5)
NutShell difftest branch does not use pre-compiled NEMU in ready-to-run
. Build NEMU (riscv64-nemu-interpreter-so) manually using NEMU here, and try again.
Your can refer to this module and this script for further instructions.
from difftest.
NutShell difftest branch does not use pre-compiled NEMU in
ready-to-run
. Build NEMU (riscv64-nemu-interpreter-so) manually using NEMU here, and try again.Your can refer to this module and this script for further instructions.
I build NEMU manually from NEMU rep, the result did not change:
~/riscv/NutShell$ ./build/emu -b 0 -e 0 -i ./ready-to-run/microbench.bin --diff /home/wangpeng/riscv/NutShell_env/nemu/build/riscv64-nemu-interpreter-so
Emu compiled at Jul 23 2021, 16:27:44
The image is ./ready-to-run/microbench.bin
Using simulated 8192MB RAM
[warning] sdcard img not found
Using /home/wangpeng/riscv/NutShell_env/nemu/build/riscv64-nemu-interpreter-so for difftest
emu: /home/wangpeng/riscv/NutShell/difftest/src/test/csrc/difftest/nemuproxy.cpp:48: NemuProxy::NemuProxy(int): Assertion `memcpy_from_ref' failed.
Aborted (core dumped)
from difftest.
Can you show me your NEMU's commit id? Which branch are you on?
from difftest.
Can you show me your NEMU's commit id? Which branch are you on?
:~/riscv/NutShell_env/nemu$ git log
commit 85edc31846b3813adab4f07779a1f74ba54a3d2c (HEAD -> master, origin/master, origin/HEAD)
Merge: dc7c4d3 92e18d7
Author: wakafa <[email protected]>
Date: Thu Jul 30 05:18:17 2020 -0500
Merge pull request #2 from OSCPU/fix-updateAD
riscv64,mmu: avoid updating PTE.A/D in so-file
from difftest.
Can you show me your NEMU's commit id? Which branch are you on?
When i change to this commit version, it works! Thanks
:~/riscv/NutShell_env/xs-env/NEMU$ git log
commit 145db2d924ef4a39a3ea69b95e0392abcf282646 (HEAD, origin/xs, origin/HEAD, xs)
Author: William Wang <[email protected]>
Date: Wed Jul 14 20:41:15 2021 +0800
rv64: disable store difftest when sq overflow
It is a temp patch, store commit queue check will be refactored later
from difftest.
Related Issues (20)
- RefProxy void (*memcpy)的调用传参错误 HOT 1
- Difftest::step()中实际上没有完成比较,proxy->regcpy(ref_regs_ptr, REF_TO_DUT)将NEMU的reg val全部copy到DUT,二者永远相等 HOT 1
- Snapshot timestamp t not updated in while loop for simulation HOT 2
- 请问XiangShan上怎么enable smp-difftest? HOT 2
- Difftest is not compatible with Chisel Definition/Instance
- 请问difftest中的DiffTestState 的定义在哪 我没有找到它 HOT 3
- When using Spike as REF, it fails to correctly synchronize the DUT's state during exceptions HOT 2
- AbstractRefProxy 声明了与reference model 不相同的函数原型 HOT 3
- 覆盖率导向模糊测试相关流程使用 HOT 7
- 请问怎么把difftest的打印信息输出到log?有相关功能吗,应该怎么修改代码?
- Difftest环境移植问题 HOT 2
- move指令消除问题 HOT 4
- How can the Rocket example provided by Difftest support extended instructions? HOT 8
- Rocket-chip difftest框架使用 HOT 1
- Links for Difftest docs HOT 1
- clock/timescale and reset in the generated waveform HOT 2
- Proposal to remove ssh remote on verilator.mk HOT 2
- Integrating VIP into DiffTest HOT 4
- sync/async read of ram HOT 1
- 仿真加速 HOT 6
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from difftest.