RISC-V指令集差分测试(DiffTest)系列教程

DiffTest核心思想:对于根据同一规范的两种实现, 给定相同的有定义的输入, 它们的行为应当一致。

DiffTest基本逻辑:处理器运行一条指令,模拟器(如NEMU)也运行相同的指令,然后比较两者的状态。由于每运行一条指令,都会对比关键寄存器的数值,所以能够实现动态实时比对,从而更容易定位bug。

为了更好的学习研究NEMU中DiffTest功能,我们分如下章节进行介绍。

1《NEMU模拟器源码编译与使用》
2《QEMU模拟器源码编译与使用》
3《NEMU DiffTest基本原理》
4《搭建NEMU与QEMU的DiffTest环境(动态库方式)》
5《搭建NEMU与QEMU的DiffTest环境(Socket方式)》
6《NEMU与QEMU联调经验》
7《NEMU中DiffTest移植》

  • 3
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

百里杨

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值