-
公开(公告)号：CN113946535B
公开(公告)日：2023-09-19
申请号：CN202111275681.9
申请日：2021-10-29
Applicant: 西安微电子技术研究所
Abstract: 本发明公开了一种总线的宏节拍和周期生成方法，本发明能够生成FlexRay总线中基础的时间uT、MT和时钟周期，并将rate修正值和offset修正值应用到周期长度的修正之中，为FlexRay总线数据的接收和发送提供了时间依据。本发明针对FlexRay总线中的主导冷启动节点和非主导冷启动节点，均可以生成总线的uT、MT和周期，增强了应用的广泛性；本发明针对单通道和双通道，均可以产生uT、MT和周期；本发明将周期分为奇数周期和偶数周期，将rate修正值应用于全周期中；将offset修正值应用于奇数周期中，有效解决了系统纠正值的应用问题。
-
公开(公告)号：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，基于基本路径测试法，导出非原子指令序列的独立路径，作为验证用例。本发明有效解决了验证资源与验证需求不匹配的矛盾，实现指令集应用程序验证的可操作性。
-
公开(公告)号：CN114545201A
公开(公告)日：2022-05-27
申请号：CN202210143515.1
申请日：2022-02-16
Applicant: 西安微电子技术研究所
IPC: G01R31/28
Abstract: 本发明公开了一种总线回环测试结构和方法，包括寄存器配置模块、时间产生模块、时钟同步模块、数据发送模块、数据接收模块、回环时间产生模块、回环数据发送模块；时间产生模块和回环时间产生模块各自产生独立的周期和时隙信息；在回环使能时，将回环数据发送模块的输出TX_LP与数据发送模块的输出TX进行与操作，并与RX进行连接。可以完成时间触发类总线的回环测试，提高了总线的测试效率。
-
公开(公告)号：CN113946535A
公开(公告)日：2022-01-18
申请号：CN202111275681.9
申请日：2021-10-29
Applicant: 西安微电子技术研究所
Abstract: 本发明公开了一种总线的宏节拍和周期生成方法，本发明能够生成FlexRay总线中基础的时间uT、MT和时钟周期，并将rate修正值和offset修正值应用到周期长度的修正之中，为FlexRay总线数据的接收和发送提供了时间依据。本发明针对FlexRay总线中的主导冷启动节点和非主导冷启动节点，均可以生成总线的uT、MT和周期，增强了应用的广泛性；本发明针对单通道和双通道，均可以产生uT、MT和周期；本发明将周期分为奇数周期和偶数周期，将rate修正值应用于全周期中；将offset修正值应用于奇数周期中，有效解决了系统纠正值的应用问题。
-
Patent Agency Ranking
公开(公告)号：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原型验证用例提取模型建模方法，通过提取功能模型的所有控制参数、状态参数和操作工序作为有向图的顶点，记录功能模型中所有控制参数和操作工序的边集和跳转边集，最终得到功能模型的有向图结构。本发明一方面能够减少人为因素对验证用例提取的影响，另一方面利用有向图灵活的计算机数据结构，可以进一步开发自动化的验证用例提取方法，并提高验证用例提取的可靠性。
-
公开(公告)号：CN114528146A
公开(公告)日：2022-05-24
申请号：CN202210143098.0
申请日：2022-02-16
Applicant: 西安微电子技术研究所
IPC: G06F11/10
Abstract: 本发明提供一种总线数据解码及存储的结构和方法，包括如下模块：总线滤波模块、总线采样模块、数据解码模块、数据采集模块、数据校验模块和数据存储模块；总线滤波模块用于对输入的接收总线RX进行滤波；总线采样模块用于对滤波后的总线进行采样；数据解码模块用于对采样模块输出的信号进行解码；数据采集模块用于对总线采样模块输出的信号进行数据采集，按8位输出数据；数据校验模块用于对数据进行校验；数据存储模块用于对数据进行存储。解决了FlexRay总线接收过程中的数据解码、数据采样和数据校验问题。
-
公开(公告)号：CN109905308A
公开(公告)日：2019-06-18
申请号：CN201910252909.9
申请日：2019-03-29
Applicant: 西安微电子技术研究所
Abstract: 本发明公开了一种混合型FlexRay总线网络拓扑结构的测试平台，该测试平台包括两个星型耦合器，由TJA1080A型有源星型耦合板搭建，所述TJA1080A型有源星型耦合板级联不超过六个FlexRay总线通信子网络进行联网通信，每个通信子网内部为无源星型网络拓扑结构、无源直线型网络拓扑结构、点对点网络拓扑结构、主动星型网络拓扑结构、级联的主动星型网络拓扑结构或者以上结构的任意结合。该测试平台为FlexRay总线的广泛应用推广尤其为单片FlexRay控制器的国产化道路提供先例和测试验证的平台，更为FlexRay总线作为未来新兴车载总线应用系统提供前期测试验证，节省成本、降低风险、缩短研制周期。
-
公开(公告)号：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
9
records
(took 0.031 seconds)
