公开(公告)号：CN118036520A

公开(公告)日：2024-05-14

申请号：CN202410159375.6

申请日：2024-02-04

Applicant: 西安微电子技术研究所

Inventor： 孙健 ,  王宇飞 ,  张瑞 ,  冶琼 ,  娄冕 ,  黄媛媛 ,  李海松 ,  杨靓

IPC: G06F30/33

Abstract: 本发明公开了一种SoC多功能模块验证平台及方法，属于集成电路领域，本方法对验证平台中的验证环境进行了改进，在验证环境的开发设计时，为每个功能模块配置了一个功能配置状态入口，通过不同的配置参数，可以配置不同的工作模式，在不同工作模式下进行相关测试，实现了多功能模块在同一验证平台下验证场景的独立开发，极大地实现了验证平台的复用，保证了验证环境的一致性，极大的提高了验证效率；克服了传统验证方法中，多人协同工作时经常出现的各模块验证环境构建过程的“等靠要”状态，本方法使得各验证功能模块验证环境完全实现了独立开发，实现了多人同时并行协同工作，减少了因各模块相互开发导致的验证环境的互相影响。

公开(公告)号：CN117556752A

公开(公告)日：2024-02-13

申请号：CN202311558347.3

申请日：2023-11-21

Applicant: 西安微电子技术研究所

Inventor： 刘明 ,  冶琼 ,  张瑞 ,  王宇飞 ,  孙健 ,  娄冕 ,  黄媛媛 ,  李海松 ,  杨靓

IPC: G06F30/33 ,  G06F30/337

Abstract: 本发明公开了一种基于第三方语言的FFT、IFFT数字仿真验证方法及相关设备，属于集成电路数字仿真验证领域，本方法由第三方语言生成随机数据，并基于第三方语言构建FFT/IFFT参考模型，需要验证待测设计时，将生成的随机数据分别输入至FFT/IFFT参考模型以及待测设计中，通过参考数据和待测数据的比对结果，从而完成待测设计的数字仿真验证；采用本方法能够有效地覆盖FFT/IFFT算法模块各种运算模式计算结果的有效检查，有效解决了复杂算法缺少可以适配的VIP的问题，实现了传统验证方法与第三方语言提供的各种数学算法相结合的协同验证方法。