-
公开(公告)号：CN118036520A
公开(公告)日：2024-05-14
申请号：CN202410159375.6
申请日：2024-02-04
Applicant: 西安微电子技术研究所
IPC: G06F30/33
Abstract: 本发明公开了一种SoC多功能模块验证平台及方法，属于集成电路领域，本方法对验证平台中的验证环境进行了改进，在验证环境的开发设计时，为每个功能模块配置了一个功能配置状态入口，通过不同的配置参数，可以配置不同的工作模式，在不同工作模式下进行相关测试，实现了多功能模块在同一验证平台下验证场景的独立开发，极大地实现了验证平台的复用，保证了验证环境的一致性，极大的提高了验证效率；克服了传统验证方法中，多人协同工作时经常出现的各模块验证环境构建过程的“等靠要”状态，本方法使得各验证功能模块验证环境完全实现了独立开发，实现了多人同时并行协同工作，减少了因各模块相互开发导致的验证环境的互相影响。
-
公开(公告)号：CN109388862B
公开(公告)日：2022-10-14
申请号：CN201811095862.1
申请日：2018-09-19
Applicant: 西安微电子技术研究所
IPC: G06F30/398
Abstract: 本发明公开了一种可配置的多功能故障注入通用电路及工作方法，包括控制模块和错误实现模块，控制模块和错误实现模块均连接数据注错模块，控制模块连接数据选择器，数据注错模块连接数据选择器和数据输入端，数据输入端连接数据注错模块，数据选择器输出数据；本发明的电路除了故障模式外，其余部分电路均可综合，即可在集成电路和FPGA中实现，可实现在仿真验证阶段对集成电路、FPGA的故障注入，同时该电路注入故障的具体模式可根据用户需要进行相应的修改定制，相比传统和其他的特定注入模式的故障注入电路具有更大的灵活性和可配置性。
-
公开(公告)号：CN117556752A
公开(公告)日：2024-02-13
申请号：CN202311558347.3
申请日：2023-11-21
Applicant: 西安微电子技术研究所
IPC: G06F30/33 , G06F30/337
Abstract: 本发明公开了一种基于第三方语言的FFT、IFFT数字仿真验证方法及相关设备，属于集成电路数字仿真验证领域，本方法由第三方语言生成随机数据，并基于第三方语言构建FFT/IFFT参考模型，需要验证待测设计时，将生成的随机数据分别输入至FFT/IFFT参考模型以及待测设计中，通过参考数据和待测数据的比对结果，从而完成待测设计的数字仿真验证；采用本方法能够有效地覆盖FFT/IFFT算法模块各种运算模式计算结果的有效检查，有效解决了复杂算法缺少可以适配的VIP的问题，实现了传统验证方法与第三方语言提供的各种数学算法相结合的协同验证方法。
-
Patent Agency Ranking
公开(公告)号：CN109388862A
公开(公告)日：2019-02-26
申请号：CN201811095862.1
申请日：2018-09-19
Applicant: 西安微电子技术研究所
IPC: G06F17/50
Abstract: 本发明公开了一种可配置的多功能故障注入通用电路及工作方法，包括控制模块和错误实现模块，控制模块和错误实现模块均连接数据注错模块，控制模块连接数据选择器，数据注错模块连接数据选择器和数据输入端，数据输入端连接数据注错模块，数据选择器输出数据；本发明的电路除了故障模式外，其余部分电路均可综合，即可在集成电路和FPGA中实现，可实现在仿真验证阶段对集成电路、FPGA的故障注入，同时该电路注入故障的具体模式可根据用户需要进行相应的修改定制，相比传统和其他的特定注入模式的故障注入电路具有更大的灵活性和可配置性。
-
公开(公告)号：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: 本发明公开了一种用于低功耗设计的可重用仿真验证方法，本发明通过对传输的电源状态的动态统计，实现了仿真在满足测试用例指定要求时自适应的进行仿真和自动结束；通过在测试平台传递配置参数，实现了验证环境组件、特殊功能的开关作用，同时实现了验证环境在类似设计中的可重用性；通过断言的绑定方法，和设计路径传输的参数化，实现了断言在源代码和网表级的完全复用。采用本发明的验证方法构建的验证平台不仅可以完成传统验证平台的功能覆盖性，同时可以覆盖电路中所有的电源状态。
-
公开(公告)号：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
8
records
(took 0.039 seconds)
