-
公开(公告)号：CN113946526B
公开(公告)日：2023-06-09
申请号：CN202111277505.9
申请日：2021-10-29
Applicant: 西安微电子技术研究所
Abstract: 本发明公开了一种高速串行总线的多通道数据绑定系统及方法，采用码元对齐模块、解码模块、弹性缓冲器和通道绑定模块按顺序处理由Serdes接收的数据，通过将弹性缓冲增/删码元的信号和协议定义的同步码元相结合，动态调节移位寄存器移位量和写/读指针的方式，有效消除弹性缓冲器增/删码元造成的多通道数据解绑问题，降低多通道链路出错的概率，提升传输效率，移位寄存器的深度可配置，大于高速总线协议中两个同步码元之间的最小间隔，这样可以保证通道同步模块可以对总线协议定义的通道间最大延迟进行恢复。
-
公开(公告)号：CN109933880B
公开(公告)日：2022-10-11
申请号：CN201910169164.X
申请日：2019-03-06
Applicant: 西安微电子技术研究所
IPC: G06F30/367
Abstract: 本发明公开了基于配置驱动的SoC原型验证用例提取模型建模方法，通过提取功能模型的所有控制参数、状态参数和操作工序作为有向图的顶点，记录功能模型中所有控制参数和操作工序的边集和跳转边集，最终得到功能模型的有向图结构。本发明一方面能够减少人为因素对验证用例提取的影响，另一方面利用有向图灵活的计算机数据结构，可以进一步开发自动化的验证用例提取方法，并提高验证用例提取的可靠性。
-
Patent Agency Ranking
公开(公告)号：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，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。
-
公开(公告)号：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，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。
-
公开(公告)号：CN113946526A
公开(公告)日：2022-01-18
申请号：CN202111277505.9
申请日：2021-10-29
Applicant: 西安微电子技术研究所
Abstract: 本发明公开了一种高速串行总线的多通道数据绑定系统及方法，采用码元对齐模块、解码模块、弹性缓冲器和通道绑定模块按顺序处理由Serdes接收的数据，通过将弹性缓冲增/删码元的信号和协议定义的同步码元相结合，动态调节移位寄存器移位量和写/读指针的方式，有效消除弹性缓冲器增/删码元造成的多通道数据解绑问题，降低多通道链路出错的概率，提升传输效率，移位寄存器的深度可配置，大于高速总线协议中两个同步码元之间的最小间隔，这样可以保证通道同步模块可以对总线协议定义的通道间最大延迟进行恢复。
-
公开(公告)号：CN109933880A
公开(公告)日：2019-06-25
申请号：CN201910169164.X
申请日：2019-03-06
Applicant: 西安微电子技术研究所
IPC: G06F17/50
Abstract: 本发明公开了基于配置驱动的SoC原型验证用例提取模型建模方法，通过提取功能模型的所有控制参数、状态参数和操作工序作为有向图的顶点，记录功能模型中所有控制参数和操作工序的边集和跳转边集，最终得到功能模型的有向图结构。本发明一方面能够减少人为因素对验证用例提取的影响，另一方面利用有向图灵活的计算机数据结构，可以进一步开发自动化的验证用例提取方法，并提高验证用例提取的可靠性。
-
公开(公告)号：CN119938430A
公开(公告)日：2025-05-06
申请号：CN202510041975.7
申请日：2025-01-10
Applicant: 西安微电子技术研究所
IPC: G06F11/26 , G06F11/3668
Abstract: 本发明公开了一种流水级指令的原型验证方法、装置、设备及介质，旨在于解决现有验证手段缺乏对数据关联性考虑的技术问题。该方法包括对处理器的指令集进行分类并生成测试用例以验证指令在流水线中的执行过程，并在硬件平台上执行生成的测试用例以验证指令流水线的实际执行情况。该方法能够全面考虑指令之间的数据相关性和控制相关性，有效发现和解决指令流水线设计中的数据冲突和控制冲突问题，提高验证的覆盖率和准确性。本发明还提供了一种流水级指令的原型验证装置、设备及计算机可读存储介质，以实现该方法的实际应用。
-
-
-
-
-
-
Search Results
7
records
(took 0.023 seconds)
