公开(公告)号：CN104063321B

公开(公告)日：2017-06-13

申请号：CN201410302903.5

申请日：2014-06-27

Applicant: 北京控制工程研究所

Inventor： 于志杰 ,  田甜 ,  赵雷 ,  朱倩 ,  赵欢 ,  陈睿

IPC: G06F11/36

Abstract: 一种针对MicroBlaze软核程序的测试验证系统，其特征在于包括：MicroBlaze仿真平台模块、软核执行流监视记录模块、目标码分析模块和覆盖率统计分析模块。本发明实现了FPGA逻辑代码、MicroBlaze软核以及软核程序的集成运行，并且可以获得软核程序运行的覆盖率信息，满足了软核程序测试验证充分性的要求。

公开(公告)号：CN104063321A

公开(公告)日：2014-09-24

申请号：CN201410302903.5

申请日：2014-06-27

Applicant: 北京控制工程研究所

Inventor： 于志杰 ,  田甜 ,  赵雷 ,  朱倩 ,  赵欢 ,  陈睿

IPC: G06F11/36

Abstract: 一种针对MicroBlaze软核程序的测试验证系统，其特征在于包括：MicroBlaze仿真平台模块、软核执行流监视记录模块、目标码分析模块和覆盖率统计分析模块。本发明实现了FPGA逻辑代码、MicroBlaze软核以及软核程序的集成运行，并且可以获得软核程序运行的覆盖率信息，满足了软核程序测试验证充分性的要求。