公开(公告)号：CN102789227A

公开(公告)日：2012-11-21

申请号：CN201210271600.2

申请日：2012-08-02

Applicant: 北京京航计算通讯研究所

Inventor： 郑金艳 ,  刘军 ,  张津荣 ,  于林宇 ,  李昆 ,  刘伟 ,  王栋 ,  杨楠 ,  张国宇 ,  彭鸣 ,  张清 ,  李丽华 ,  陈朋 ,  毕文敬

IPC: G05B23/02

Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及基于覆盖率统计的可编程逻辑器件仿真测试方法。目的是为了解决目前可编程逻辑器件仿真测试存在无法保证测试充分性的问题。该方法使用DUT和Testbench文件进行覆盖率评估，对被测试可编程逻辑器件开展测试需求分析，分解出测试项和测试子项，并确定仿真测试类型为功能仿真测试；当不满足语句覆盖率和分支覆盖率评估时，分析未覆盖的原因，进一步完善测试平台并分析相关影响域，若满足覆盖率评估，则测试完成。该方法通过对仿真测试后的语句覆盖率和分支覆盖率进行分析，可有效确认出可编程逻辑器件测试的充分性。本方法有效提升了可编程逻辑器件仿真测试技术水平，对提升可编程逻辑器件质量具有重要的意义。

公开(公告)号：CN102854801A

公开(公告)日：2013-01-02

申请号：CN201210358760.0

申请日：2012-09-25

Applicant: 北京京航计算通讯研究所

Inventor： 王栋 ,  张国宇 ,  刘军 ,  刘伟 ,  郑金艳 ,  杨楠 ,  李丽华 ,  毕文敬 ,  田彪 ,  彭鸣 ,  张清 ,  陈朋 ,  赵静 ,  荣高峰

IPC: G05B17/02 ,  G05B23/02

Abstract: 本发明属于可编程逻辑器件测试技术领域，具体涉及一种基于分时复用的大数据量FPGA仿真测试方法，目的是为了解决大数据量FPGA仿真测试内存不足的问题，为了提高大数据量FPGA仿真测试的充分性。该方法包括减少仿真测试所使用的内存资源至仿真工具允许的容量围内的步骤；根据内存资源大小将需要测试的RAM数据分为若干部分的步骤；采用分时复用方式，分别对划分出的若干个RAM数据部分进行测试的步骤；在分时复用时，采用动态管理内存的方法，动态计算当前仿真测试所需要的系统内存空间并对内存进行分配和释放的步骤。