difftest icon indicating copy to clipboard operation
difftest copied to clipboard

FPGA: Add the function of fpga core difftest

Open xiaokamikami opened this issue 1 year ago • 1 comments

When using fpga to carry out difftest, difftest will read out the architecture related information from the dma interface as a host program, and check the register on the PC side. usage make fpga-build./fpga-host --diff=nemu.so

The idea of this function comes from the revision of encore. Thanks to the support of Teacher Shi Kan and Xu Shuoxiang for providing the XDMA initialization code (f7f0f8b), and Zhang Shoulin for helping debug the FPGA

Co-authored-by: fengkehan [email protected] Co-authored-by: xushuoxiang [email protected] Co-authored-by: zhangshoulin [email protected]

xiaokamikami avatar Aug 29 '24 10:08 xiaokamikami

Where does the source code come from? Who are the authors?

poemonsense avatar Sep 01 '24 03:09 poemonsense

您好,想问一下,目前difftest环境和encore能结合起来吗?我看到encore的流程里在生成snapshot,可以进一步在仿真环境里运行,这里是否可以用difftest来跑?另外,目前fpga上的difftest环境运行时速度跟encore比哪个更快呢?

changekkk avatar Oct 22 '24 01:10 changekkk

这套框架怎么用起来? 需要在FPGA流程里使用吗?

wyz-icer avatar Oct 31 '24 08:10 wyz-icer

您好,想问一下,目前difftest环境和encore能结合起来吗?我看到encore的流程里在生成snapshot,可以

你好,这套系统就是将类似encore的结构做到difftest环境,这套系统目前能传输大约7GB/S的数据,具体运行频率 需要视difftest模式情况而计算,因为不同模式下的difftest产生的数据量不一样

xiaokamikami avatar Oct 31 '24 14:10 xiaokamikami

这套框架怎么用起来? 需要在FPGA流程里使用吗?

你好,暂时还没有完全适配好,后续会出文档的

xiaokamikami avatar Oct 31 '24 14:10 xiaokamikami

Seems a too large PR. I will carefully review later. (Busy in exames these days). And I think maybe we can seperate it to some commits with detailed message, rather than squashed into a large one. And this PR should also be merged after tests passed in FPGA, even just a simplified subset of DifftestBundle.

klin02 avatar Jan 08 '25 15:01 klin02

Seems a too large PR. I will carefully review later. (Busy in exames these days). And I think maybe we can seperate it to some commits with detailed message, rather than squashed into a large one. And this PR should also be merged after tests passed in FPGA, even just a simplified subset of DifftestBundle.

I have tested and passed some simple workload, so I plan to merge a working version first. If I want to split, the previous commits in this pr will not work.

xiaokamikami avatar Jan 09 '25 02:01 xiaokamikami

OK, I will review it tomorrow.

klin02 avatar Jan 09 '25 12:01 klin02