公开(公告)号：CN117130894A

公开(公告)日：2023-11-28

申请号：CN202210546361.0

申请日：2022-05-18

申请人： 中国人民解放军军事科学院国防科技创新研究院

发明人： 王冬升 ,  何益百 ,  张拥军 ,  张光达 ,  黄安文 ,  万众 ,  徐叶茂 ,  顾凯

IPC分类号： G06F11/36

摘要： 本发明涉及指令级验证技术领域，具体提供了一种RISC‑V向量指令集功能验证的测试用例生成系统及方法，包括：测试用例生成控制模块设置向量指令测试参数，将测试参数发送至场景构建模块，将接收的源操作数组对象发送至参考模型模块，并将接收的源操作数组对象和接收的目的操作数组对象拼接，得到测试用例；场景构建模块基于测试参数生成源操作数组对象；参考模型模块，用于基于源操作数组对象生成目的操作数组对象。本发明提供的技术方案大大提高了RISC‑V向量指令集测试用例的开发速度，多类型的应用场景进一步保证了处理器功能验证的完备性，从而有效地减少了芯片设计的开发周期。

公开(公告)号：CN118133732A

公开(公告)日：2024-06-04

申请号：CN202410079437.2

申请日：2024-01-19

申请人： 中国人民解放军军事科学院国防科技创新研究院

发明人： 张光达 ,  王冬升 ,  徐叶茂 ,  顾凯 ,  王承智

IPC分类号： G06F30/33 ,  G06F30/3312 ,  G06F119/12 ,  G06F119/06

摘要： 本发明涉及集成电路设计验证技术领域，具体提供了一种面向大规模仿真加速的高功耗场景定位方法及装置，包括：提取各时刻待测设计仿真时信号的翻转信息之和，并获取各时刻待测设计仿真时信号的翻转信息之和的变化率；基于所述各时刻待测设计仿真时信号的翻转信息之和的变化率确定各时刻待测设计仿真时信号的累计计分值；基于所述各时刻待测设计仿真时信号的翻转信息之和以及所述各时刻待测设计仿真时信号的累计计分值确定高功耗时间段；其中，所述高功耗时间段对应的仿真数据为高功耗场景仿真数据。本发明提供的技术方案，针对动态功耗分析中长时间运行测试生成过程文件的问题提出了解决方法，实现资源消耗更小，运算更快的生成过程文件。

公开(公告)号：CN115408264A

公开(公告)日：2022-11-29

申请号：CN202210553040.3

申请日：2022-05-19

申请人： 中国人民解放军军事科学院国防科技创新研究院

发明人： 何益百 ,  张拥军 ,  王会权 ,  王冬升 ,  张光达 ,  劳彬 ,  顾凯

IPC分类号： G06F11/36

摘要： 本发明涉及集成电路及处理器验证技术领域，具体提供了一种基于RISC‑V处理器的指令集验证方法及装置，包括：采用Python脚本语言生成针对RISC‑V指令集测试的汇编文件；通过待测处理器执行所述汇编文件，得到测试结果；通过外部设备将实时接收的测试结果进行汇总并生成测试结果文件。本发明提供的技术方案解决了处理器指令集验证的覆盖率不高、完备性不足、验证效率较低的问题。