公开(公告)号：CN116070474A

公开(公告)日：2023-05-05

申请号：CN202310363122.6

申请日：2023-04-07

Applicant: 之江实验室 ,  浙江大学 ,  无锡江南计算技术研究所

Inventor： 刘鹏 ,  胡文超 ,  郝子宇 ,  韩晓霞 ,  夏冰洁 ,  王文 ,  李宏亮 ,  王芬

IPC: G06F30/20 ,  G06F17/15 ,  G06F111/04 ,  G06F111/08

Abstract: 本发明公开了一种面向AI浮点融合运算单元的验证激励产生方法，该方法包括：针对新型AI浮点融合运算单元进行分析，获取输入操作数数量、输入操作数数据格式、输入操作数数据类型并构建相应参数模型；结合参数模型构造输入操作数之间的约束表达式、输入操作数和中间结果的约束表达式、输入操作数和输出结果的约束表达式；分别对三种约束表达式进行求解生成一定数量的验证激励；将验证激励分别送入参考模型和待验证新型AI浮点融合运算单元中比较计算结果和记录覆盖率。通过该方法可以提高验证人员对新型AI浮点融合运算单元的验证效率和验证覆盖率。

公开(公告)号：CN116070474B

公开(公告)日：2023-07-07

申请号：CN202310363122.6

申请日：2023-04-07

Applicant: 之江实验室 ,  浙江大学 ,  无锡江南计算技术研究所

Inventor： 刘鹏 ,  胡文超 ,  郝子宇 ,  韩晓霞 ,  夏冰洁 ,  王文 ,  李宏亮 ,  王芬

IPC: G06F30/20 ,  G06F17/15 ,  G06F111/04 ,  G06F111/08

Abstract: 本发明公开了一种面向AI浮点融合运算单元的验证激励产生方法，该方法包括：针对新型AI浮点融合运算单元进行分析，获取输入操作数数量、输入操作数数据格式、输入操作数数据类型并构建相应参数模型；结合参数模型构造输入操作数之间的约束表达式、输入操作数和中间结果的约束表达式、输入操作数和输出结果的约束表达式；分别对三种约束表达式进行求解生成一定数量的验证激励；将验证激励分别送入参考模型和待验证新型AI浮点融合运算单元中比较计算结果和记录覆盖率。通过该方法可以提高验证人员对新型AI浮点融合运算单元的验证效率和验证覆盖率。

公开(公告)号：CN115686631B

公开(公告)日：2023-08-29

申请号：CN202211382800.5

申请日：2022-11-07

Applicant: 合芯科技有限公司 ,  浙江大学

Inventor： 刘鹏 ,  胡文超 ,  王文 ,  刘扬帆 ,  王贺 ,  施葹

IPC: G06F9/30

Abstract: 本发明公开了一种基于知识基的随机指令生成方法、装置及存储介质，方法包括：知识基包括架构测试知识、指令的操作码、寄存器和立即数的先验规则；根据知识基对输入参数进行解析，获取目标指令的指令操作名称；根据知识基调用指令操作码生成函数，随机生成指令操作码；根据知识基调用指令参数模型，获取目标指令的指令参数数据；调用对应的参数生成函数，随机生成对应的指令参数值；根据指令操作码对应的指令汇编格式，对指令参数值进行排列，生成一条具体指令；将具体指令写入指令模拟器中进行实时仿真，生成输出指令和指令执行轨迹；在知识基的指导下生成随机指令的方法可以作用于不同处理器指令集架构一致性检测。

公开(公告)号：CN116090374A

公开(公告)日：2023-05-09

申请号：CN202211666730.6

申请日：2022-12-23

Applicant: 浙江大学 ,  合芯科技有限公司

Inventor： 刘鹏 ,  胡文超 ,  刘扬帆 ,  刘恒 ,  钱晨

IPC: G06F30/33 ,  G06F115/10

Abstract: 本发明公开了基于指令码表的指令测试序列生成方法，根据指令集体系架构规范构建指令码表模型；根据指令码表模型构建覆盖率历史记录表；构建指令测试序列，将生成的指令测试序列中的指令分别送入待验证处理器和指令模拟器中，检查并记录每一条指令处理器执行前后的寄存器资源状态和处理器给出的异常信号，判断并修改暗指令缺陷。本发明以指令码表为基础，根据指令码表构建覆盖率历史记录表，再以覆盖率历史记录表驱动指令生成。相比于现有的指令测试序列生成方法，本发明在保证对暗指令全覆盖的同时提高对指令集架构中暗指令缺陷的检测效率。

公开(公告)号：CN115686631A

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

申请号：CN202211382800.5

申请日：2022-11-07

Applicant: 合芯科技有限公司 ,  浙江大学

Inventor： 刘鹏 ,  胡文超 ,  王文 ,  刘扬帆 ,  王贺 ,  施葹 ,  沈秀红 ,  乔栩

IPC: G06F9/30

Abstract: 本发明公开了一种基于知识基的随机指令生成方法、装置及存储介质，方法包括：知识基包括架构测试知识、指令的操作码、寄存器和立即数的先验规则；根据知识基对输入参数进行解析，获取目标指令的指令操作名称；根据知识基调用指令操作码生成函数，随机生成指令操作码；根据知识基调用指令参数模型，获取目标指令的指令参数数据；调用对应的参数生成函数，随机生成对应的指令参数值；根据指令操作码对应的指令汇编格式，对指令参数值进行排列，生成一条具体指令；将具体指令写入指令模拟器中进行实时仿真，生成输出指令和指令执行轨迹；在知识基的指导下生成随机指令的方法可以作用于不同处理器指令集架构一致性检测。