公开(公告)号：CN109933880B

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

申请号：CN201910169164.X

申请日：2019-03-06

Applicant: 西安微电子技术研究所

Inventor： 宁宁 ,  游军 ,  许辉勇 ,  高宜楠

IPC: G06F30/367

Abstract: 本发明公开了基于配置驱动的SoC原型验证用例提取模型建模方法，通过提取功能模型的所有控制参数、状态参数和操作工序作为有向图的顶点，记录功能模型中所有控制参数和操作工序的边集和跳转边集，最终得到功能模型的有向图结构。本发明一方面能够减少人为因素对验证用例提取的影响，另一方面利用有向图灵活的计算机数据结构，可以进一步开发自动化的验证用例提取方法，并提高验证用例提取的可靠性。

公开(公告)号：CN114545208A

公开(公告)日：2022-05-27

申请号：CN202210199604.8

申请日：2022-03-01

Applicant: 西安微电子技术研究所

Inventor： 翟宝峰 ,  王蕊琪 ,  祁美娟 ,  董劭颖 ,  郝奎 ,  高宜楠 ,  王剑峰 ,  杨靓

IPC: G01R31/28 ,  G01R1/04

Abstract: 本发明公开了一种非透明桥PCIe交换电路的动态老炼装置及方法，采用根复合体CPU、端点设备、端口模式配置线、端口互联总线和器件状态指示线，覆盖了电路的物理层、数据链路层和事务层及非透明桥地址转换和交换功能，使得电路在老炼期间按照正常的工作频率和总线接口速率进行了动态老炼；本发明无需为每只非透明桥PCIe交换电路外接根复合体CPU和众多的PCIe端点设备，且整个老炼板上只需一个根复合体CPU，根复合体CPU的连接方式，极大的节省了老炼板上元器件的成本；本发明因为外围PCIe设备的减少提高了同一面积老炼板上老炼器件的密度，在同一老炼高温箱中可以老炼更多电路，节省了试验成本。

公开(公告)号：CN109828923A

公开(公告)日：2019-05-31

申请号：CN201910060011.1

申请日：2019-01-22

Applicant: 西安微电子技术研究所

Inventor： 宁宁 ,  游军 ,  许辉勇 ,  高宜楠 ,  楚亚楠

IPC: G06F11/36

Abstract: 本发明提供一种基于应用程序结构的非原子指令序列原型验证方法，包括：步骤1，基于应用程序的寄存器级实现对应用程序的数据流图进行c-use和p-use的二次分割，将p-use分离出数据流图，得到数据流结构；步骤2，对待测处理器的基本控制结构和例外处理结构的实现方式进行分析，获得基本结构控制流；步骤3，设定非原子指令序列的环路复杂度，使用基本结构控制流反向构建获得指令序列的执行结构；步骤4，使用数据流结构和执行结构组成非原子指令序列；步骤5，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。

公开(公告)号：CN109828923B

公开(公告)日：2022-02-01

申请号：CN201910060011.1

申请日：2019-01-22

Applicant: 西安微电子技术研究所

Inventor： 宁宁 ,  游军 ,  许辉勇 ,  高宜楠 ,  楚亚楠

IPC: G06F11/36

Abstract: 本发明提供一种基于应用程序结构的非原子指令序列原型验证方法，包括：步骤1，基于应用程序的寄存器级实现对应用程序的数据流图进行c‑use和p‑use的二次分割，将p‑use分离出数据流图，得到数据流结构；步骤2，对待测处理器的基本控制结构和例外处理结构的实现方式进行分析，获得基本结构控制流；步骤3，设定非原子指令序列的环路复杂度，使用基本结构控制流反向构建获得指令序列的执行结构；步骤4，使用数据流结构和执行结构组成非原子指令序列；步骤5，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。

公开(公告)号：CN119938430A

公开(公告)日：2025-05-06

申请号：CN202510041975.7

申请日：2025-01-10

Applicant: 西安微电子技术研究所

Inventor： 游军 ,  高宜楠 ,  宫瑶 ,  黄媛媛 ,  李海松 ,  杨靓 ,  李磊

IPC: G06F11/26 ,  G06F11/3668

Abstract: 本发明公开了一种流水级指令的原型验证方法、装置、设备及介质，旨在于解决现有验证手段缺乏对数据关联性考虑的技术问题。该方法包括对处理器的指令集进行分类并生成测试用例以验证指令在流水线中的执行过程，并在硬件平台上执行生成的测试用例以验证指令流水线的实际执行情况。该方法能够全面考虑指令之间的数据相关性和控制相关性，有效发现和解决指令流水线设计中的数据冲突和控制冲突问题，提高验证的覆盖率和准确性。本发明还提供了一种流水级指令的原型验证装置、设备及计算机可读存储介质，以实现该方法的实际应用。

公开(公告)号：CN109933880A

公开(公告)日：2019-06-25

申请号：CN201910169164.X

申请日：2019-03-06

Applicant: 西安微电子技术研究所

Inventor： 宁宁 ,  游军 ,  许辉勇 ,  高宜楠

IPC: G06F17/50

Abstract: 本发明公开了基于配置驱动的SoC原型验证用例提取模型建模方法，通过提取功能模型的所有控制参数、状态参数和操作工序作为有向图的顶点，记录功能模型中所有控制参数和操作工序的边集和跳转边集，最终得到功能模型的有向图结构。本发明一方面能够减少人为因素对验证用例提取的影响，另一方面利用有向图灵活的计算机数据结构，可以进一步开发自动化的验证用例提取方法，并提高验证用例提取的可靠性。