-
公开(公告)号：CN109828923B
公开(公告)日：2022-02-01
申请号：CN201910060011.1
申请日：2019-01-22
Applicant: 西安微电子技术研究所
IPC: G06F11/36
Abstract: 本发明提供一种基于应用程序结构的非原子指令序列原型验证方法，包括：步骤1，基于应用程序的寄存器级实现对应用程序的数据流图进行c‑use和p‑use的二次分割，将p‑use分离出数据流图，得到数据流结构；步骤2，对待测处理器的基本控制结构和例外处理结构的实现方式进行分析，获得基本结构控制流；步骤3，设定非原子指令序列的环路复杂度，使用基本结构控制流反向构建获得指令序列的执行结构；步骤4，使用数据流结构和执行结构组成非原子指令序列；步骤5，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。
-
公开(公告)号：CN109933880A
公开(公告)日：2019-06-25
申请号：CN201910169164.X
申请日：2019-03-06
Applicant: 西安微电子技术研究所
IPC: G06F17/50
Abstract: 本发明公开了基于配置驱动的SoC原型验证用例提取模型建模方法，通过提取功能模型的所有控制参数、状态参数和操作工序作为有向图的顶点，记录功能模型中所有控制参数和操作工序的边集和跳转边集，最终得到功能模型的有向图结构。本发明一方面能够减少人为因素对验证用例提取的影响，另一方面利用有向图灵活的计算机数据结构，可以进一步开发自动化的验证用例提取方法，并提高验证用例提取的可靠性。
-
公开(公告)号：CN109933880B
公开(公告)日：2022-10-11
申请号：CN201910169164.X
申请日：2019-03-06
Applicant: 西安微电子技术研究所
IPC: G06F30/367
Abstract: 本发明公开了基于配置驱动的SoC原型验证用例提取模型建模方法，通过提取功能模型的所有控制参数、状态参数和操作工序作为有向图的顶点，记录功能模型中所有控制参数和操作工序的边集和跳转边集，最终得到功能模型的有向图结构。本发明一方面能够减少人为因素对验证用例提取的影响，另一方面利用有向图灵活的计算机数据结构，可以进一步开发自动化的验证用例提取方法，并提高验证用例提取的可靠性。
-
公开(公告)号：CN109828923A
公开(公告)日：2019-05-31
申请号：CN201910060011.1
申请日：2019-01-22
Applicant: 西安微电子技术研究所
IPC: G06F11/36
Abstract: 本发明提供一种基于应用程序结构的非原子指令序列原型验证方法，包括：步骤1，基于应用程序的寄存器级实现对应用程序的数据流图进行c-use和p-use的二次分割，将p-use分离出数据流图，得到数据流结构；步骤2，对待测处理器的基本控制结构和例外处理结构的实现方式进行分析，获得基本结构控制流；步骤3，设定非原子指令序列的环路复杂度，使用基本结构控制流反向构建获得指令序列的执行结构；步骤4，使用数据流结构和执行结构组成非原子指令序列；步骤5，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。
-
-
-
Search Results
4
records
(took 0.023 seconds)
