一种数字IC验证中DMA访问的验证策略的制作方法

本发明属于数字ic验证领域，具体涉及一种数字ic验证中dma访问的验证策略。

背景技术：

1、dma(direct memory access，直接存储器访问)是所有现代电脑的重要特色，dma访问为直接存储器访问，dma传输将数据从一个地址空间复制到另外一个地址空间，它允许不同速度的硬件装置来沟通，例如：移动一个外部内存的区块到芯片内部更快的内存区；否则，cpu需要从来源把每一片段的资料复制到暂存器，然后把它们再次写回到新的地方，这个过程中，cpu产生了大量中断负载。

2、由于dma允许不同速度的硬件装置来沟通，因此对进行dma数据校验，保证dma数据传输正确性十分重要。

3、目前进行dma数据校验的方式为将shadow主存设置为静态变量，使其作为终端(rc)主存地址空间和设备端(ep)数据地址空间数据校验的媒介。终端与设备端设置数据的同时对shadow主存设置同样的数据作为数据转移起始方的备份，目的是保证数据在转移回起始方后保持起始方数据的完整性，可在数据发送与接收完成后与shadow中数据进行校验以保证数据转移的正确性。

4、如图1所示，上述方法首先对设备端(ep)和shadow主存进行相同数据序列的数据布控；通过dma写请求将设备端数据写入终端(rc)主存、通过dma读请求将终端数据读回设备端后，在设备端将shadow中从起始地址搬运的数据与设备端最后接收到的数据进行校验以完成对dma写读请求的数据验证，引入shadow的目的主要是为了防止dma读请求读到的数据将原始数据覆盖而导致原始数据序列被覆盖。

5、上述方法的不足之处在于shadow主存为静态变量，在同一时间只能与rc或ep保持一致的数据布控，当验证策略需要rc和ep端同时对地址空间数据进行布控时会产生冲突。

技术实现思路

1、本发明提供一种数字ic验证中dma访问的验证策略，通过将rc与ep均设置为静态变量，使两者中任何一方的数据布控不会与另一方产生干预。

2、本发明的一种数字ic验证中dma访问的验证策略，首先，将终端与设备端的主存地址空间均设置为静态变量；

3、从设备端和终端中，选择至少一个作为验证端，对验证端进行数据序列的数据布控；

4、通过dma写请求将设备端数据写入终端主存、通过dma读请求将终端数据读回设备端后，将验证端的数据与设备端最后接收到的数据进行校验以完成对dma写读请求的数据验证。

5、于一实施例中，数据校验的方法是：通过掩码与数据地址偏移的方式准确定位目标数据。

6、于一实施例中，数据校验的方法为每次校验128b的数据，当起始地址不为128b对界时，从起始地址之前的第一个128b对接地址开始取256b的数据，根据起始地址进行偏移，只校验从起始地址开始的128b数据；每次校验128b数据是由于虚拟主存每次只能取128b对界地址开始的128b数据。

7、本发明的一种数字ic验证中dma访问的验证策略，相比现有验证策略，具有如下改进：

8、1.放弃使用shadow主存，减少了一个虚拟主存的使用，增加了验证环境简洁度；

9、2.在设置数据时，可对两方(终端、设备端)择一或同时进行数据布控，增加了验证策略多样性、验证的灵活性；对两方主存进行部数操作时，增加了验证策略的测试强度；该方式不会因为误操作对共用的shadow主存产生影响。

技术特征：

1.一种数字ic验证中dma访问的验证策略，其特征在于，

2.如权利要求1所述的数字ic验证中dma访问的验证策略，其特征在于，数据校验的方法是：通过掩码与数据地址偏移的方式准确定位目标数据。

3.如权利要求1所述的数字ic验证中dma访问的验证策略，其特征在于，数据校验的方法为每次校验128b的数据，当起始地址不为128b对界时，从起始地址之前的第一个128b对接地址开始取256b的数据，根据起始地址进行偏移，只校验从起始地址开始的128b数据；每次校验128b数据是由于虚拟主存每次只能取128b对界地址开始的128b数据。

技术总结
本发明提供一种数字IC验证中DMA访问的验证策略，首先，将终端与设备端的主存地址空间均设置为静态变量；从设备端和终端中，选择至少一个作为验证端，对验证端进行数据序列的数据布控；通过DMA写请求将设备端数据写入终端主存、通过DMA读请求将终端数据读回设备端后，将验证端的数据与设备端最后接收到的数据进行校验以完成对DMA写读请求的数据验证。本发明通过将RC与EP均设置为静态变量，使两者中任何一方的数据布控不会与另一方产生干预。

技术研发人员：王鹏,虞美兰,李文,田亚慧,孙东伟,丁宇璐,王梦嘉
受保护的技术使用者：太初（无锡）电子科技有限公司
技术研发日：
技术公布日：2024/1/15