-
公开(公告)号：CN114970428A
公开(公告)日：2022-08-30
申请号：CN202210641212.2
申请日：2022-06-08
Applicant: 西安微电子技术研究所
IPC: G06F30/367 , G06F30/38
Abstract: 本发明公开了一种用于SoC(System on Chip)中Flexray总线控制器的验证系统及方法，属于集成电路验证技术领域，提供了一种用于SoC(System on Chip)中Flexray总线控制器的验证方法，该方法以多个片外Flexray总线节点及总线编解码模型完成包括待测Flexray总线控制器节点的组网、同步、解析以及数据比对的功能，通过使用相关模型及应用配置函数对SoC中待测Flexray总线控制器进行初始化及其传输数据进行配置。通过该验证方法可有效提升片上系统中Flexray节点的测试效率。
-
公开(公告)号：CN109388862A
公开(公告)日：2019-02-26
申请号：CN201811095862.1
申请日：2018-09-19
Applicant: 西安微电子技术研究所
IPC: G06F17/50
Abstract: 本发明公开了一种可配置的多功能故障注入通用电路及工作方法，包括控制模块和错误实现模块，控制模块和错误实现模块均连接数据注错模块，控制模块连接数据选择器，数据注错模块连接数据选择器和数据输入端，数据输入端连接数据注错模块，数据选择器输出数据；本发明的电路除了故障模式外，其余部分电路均可综合，即可在集成电路和FPGA中实现，可实现在仿真验证阶段对集成电路、FPGA的故障注入，同时该电路注入故障的具体模式可根据用户需要进行相应的修改定制，相比传统和其他的特定注入模式的故障注入电路具有更大的灵活性和可配置性。
-
Patent Agency Ranking
公开(公告)号：CN109189479A
公开(公告)日：2019-01-11
申请号：CN201811190340.X
申请日：2018-10-12
Applicant: 西安微电子技术研究所
IPC: G06F9/38
Abstract: 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结果进行格式一致性处理，然后进行对比，当二者结果一致时，则仿真结果正确；当二者结果不一致时，则仿真结果错误，并生成错误日志。本发明方法能够在有限的时间内进行高效、全面、准确的指令仿真验证，以保证芯片功能的正确性。
-
公开(公告)号：CN108984991A
公开(公告)日：2018-12-11
申请号：CN201811103167.5
申请日：2018-09-20
Applicant: 西安微电子技术研究所
IPC: G06F17/50
Abstract: 本发明公开了一种用于低功耗设计的可重用仿真验证方法，本发明通过对传输的电源状态的动态统计，实现了仿真在满足测试用例指定要求时自适应的进行仿真和自动结束；通过在测试平台传递配置参数，实现了验证环境组件、特殊功能的开关作用，同时实现了验证环境在类似设计中的可重用性；通过断言的绑定方法，和设计路径传输的参数化，实现了断言在源代码和网表级的完全复用。采用本发明的验证方法构建的验证平台不仅可以完成传统验证平台的功能覆盖性，同时可以覆盖电路中所有的电源状态。
-
公开(公告)号：CN109388862B
公开(公告)日：2022-10-14
申请号：CN201811095862.1
申请日：2018-09-19
Applicant: 西安微电子技术研究所
IPC: G06F30/398
Abstract: 本发明公开了一种可配置的多功能故障注入通用电路及工作方法，包括控制模块和错误实现模块，控制模块和错误实现模块均连接数据注错模块，控制模块连接数据选择器，数据注错模块连接数据选择器和数据输入端，数据输入端连接数据注错模块，数据选择器输出数据；本发明的电路除了故障模式外，其余部分电路均可综合，即可在集成电路和FPGA中实现，可实现在仿真验证阶段对集成电路、FPGA的故障注入，同时该电路注入故障的具体模式可根据用户需要进行相应的修改定制，相比传统和其他的特定注入模式的故障注入电路具有更大的灵活性和可配置性。
-
公开(公告)号：CN109189479B
公开(公告)日：2023-02-24
申请号：CN201811190340.X
申请日：2018-10-12
Applicant: 西安微电子技术研究所
IPC: G06F9/38
Abstract: 本发明公开了一种用于处理器指令集的并行自动化验证方法，首先自动生成指令验证用例；然后对验证用例在RTL电路上进行仿真，监测仿真结果；同时对步骤1得到的验证用例经处理器参考模型进行处理，计算期望结果；最后对仿真结果和期望结果进行格式一致性处理，然后进行对比，当二者结果一致时，则仿真结果正确；当二者结果不一致时，则仿真结果错误，并生成错误日志。本发明方法能够在有限的时间内进行高效、全面、准确的指令仿真验证，以保证芯片功能的正确性。
-
公开(公告)号：CN108984991B
公开(公告)日：2022-09-13
申请号：CN201811103167.5
申请日：2018-09-20
Applicant: 西安微电子技术研究所
IPC: G06F30/398
Abstract: 本发明公开了一种用于低功耗设计的可重用仿真验证方法，本发明通过对传输的电源状态的动态统计，实现了仿真在满足测试用例指定要求时自适应的进行仿真和自动结束；通过在测试平台传递配置参数，实现了验证环境组件、特殊功能的开关作用，同时实现了验证环境在类似设计中的可重用性；通过断言的绑定方法，和设计路径传输的参数化，实现了断言在源代码和网表级的完全复用。采用本发明的验证方法构建的验证平台不仅可以完成传统验证平台的功能覆盖性，同时可以覆盖电路中所有的电源状态。
-
-
-
-
-
-
Search Results
7
records
(took 0.046 seconds)
