Issues
- 10
Simulation on Palladium and FPGA
#436 opened by changekkk - 16
Fuzzing fails when using LightSSS
#442 opened by Gloria-cpu - 3
Support other CPUs
#284 opened by changekkk - 0
Disable fsdb dump in VCS flow
#445 opened by wyz-icer - 5
Integrating VIP into DiffTest
#402 opened by changekkk - 1
sync/async read of ram
#404 opened by meiqin0 - 2
Proposal to remove ssh remote on verilator.mk
#395 opened by cyyself - 2
clock/timescale and reset in the generated waveform
#374 opened by wyz-icer - 1
Links for Difftest docs
#360 opened by bjzhang - 1
Rocket-chip difftest框架使用
#354 opened by wyz-icer - 8
How can the Rocket example provided by Difftest support extended instructions?
#345 opened by Codemaker-1 - 4
move指令消除问题
#332 opened by Jeacy - 0
请问怎么把difftest的打印信息输出到log?有相关功能吗,应该怎么修改代码?
#258 opened by Jeacy - 7
覆盖率导向模糊测试相关流程使用
#248 opened by wyz-icer - 3
AbstractRefProxy 声明了与reference model 不相同的函数原型
#226 opened by gxflying - 2
When using Spike as REF, it fails to correctly synchronize the DUT's state during exceptions
#220 opened by youzi27 - 3
请问difftest中的DiffTestState 的定义在哪 我没有找到它
#205 opened by Taylorsbear720 - 0
- 2
请问XiangShan上怎么enable smp-difftest?
#150 opened by RichardRo - 1
- 2
- 1
RefProxy void (*memcpy)的调用传参错误
#94 opened by huangjiasen100 - 1
- 1
Difftest::step()中实际上没有完成比较,proxy->regcpy(ref_regs_ptr, REF_TO_DUT)将NEMU的reg val全部copy到DUT,二者永远相等
#95 opened by huangjiasen100 - 1
do_store_check的逻辑有bug,if(proxy->store_commit)分支表示的store比对成功,mismatch的打印应该放在else分支中
#92 opened by huangjiasen100 - 1
请问如何能重新make的时候增量编译,即不再重新执行.scala->.v的步骤
#91 opened by huangjiasen100 - 2
Difftest中的波形功能应该如何开启?
#86 opened by Pokusala - 4
- 1
shmat return value check error
#71 opened by rrwhx - 1
- 0
To be added to CI
#15 opened by AugustusWillisWang - 5
difftest running error
#1 opened by wangpengabc