公开(公告)号：CN112445661A

公开(公告)日：2021-03-05

申请号：CN201910805747.7

申请日：2019-08-29

Applicant: 无锡江南计算技术研究所

Inventor： 王丽一 ,  谭坚 ,  陈磊 ,  胡夏晖 ,  吴臻 ,  蒋丽萍

IPC: G06F11/22

Abstract: 本发明公开一种并行访存汇编程序自动生成系统和存储一致性测试方法，包括以下步骤：S1、并行程序生成器读取控制核心和运算核心的汇编程序框架，并且根据核心的数目生成包含相应数目汇编函数的基础汇编程序；S2、并行访存指令序列生成器生成访存指令序列偏移链表，将访存偏移平均分给各个核心，并根据各个核心分到的访存偏移，生成访存指令段；S3、各个核心的访存指令序列分别嵌入各自的汇编函数中；S4、主函数通过读取数据集合来实现源空间的初始化；S5、访存结束，再次进行同步，然后比较目的空间的哈希值与源空间的哈希值是否相等。本发明可以自动生成并行访存的汇编程序，大大增加访存的密集度，减少运算的时间，提高测试效率。

公开(公告)号：CN112433762A

公开(公告)日：2021-03-02

申请号：CN201910789113.7

申请日：2019-08-26

Applicant: 无锡江南计算技术研究所

Inventor： 谭坚 ,  王丽一 ,  胡夏晖 ,  陈磊 ,  蒋丽萍 ,  曹陈炜

IPC: G06F9/38

Abstract: 本发明公开一种基于数据相关性约束的随机指令序列生成方法，包括以下步骤：S1、对指令集合进行信息提取；S2、生成的指令数目达到要求则终止，否则继续随机选择一条指令；S3、如果该指令没有操作数，跳转至S2，否则继续；S4、计算指令上下文中与当前指令生成可能存在关系的最大指令数目；S5、解析当前指令；S6、构建上下文指令间的约束关系；S7、对形成的CNF范式进行合取，并利用求解器进行求解；S8、如果没有求解结果，则跳转至S2；S9、如果求解结果满足，则对求解结果进行解析；S10、将当前生成的指令保存在缓存队列中；S11、跳转至S2继续。本发明构建了满足约束条件的随机指令生成模型，自动生成随机指令序列，达到高功耗测试以及极限情况下指令执行部件正确性测试的目的。