[发明专利]可重构FPGA软件的专用验证测试系统

权利要求书

1.一种可重构FPGA软件的专用验证测试系统，包括：

信号传递层模块，所述信号传递层模块提供与待测可重构FPGA软件直接的信号互联，并且被所述专用验证测试系统的其它模块所访问；

验证指令层模块，所述验证指令层模块对所述可重构FPGA软件的待测目标重构代码最前端输入及最末端输出进行监控，并且还对所述待测目标重构代码的运行过程进行监控；

验证功能层模块，所述验证功能层模块将所述待测目标重构代码的输出结果和验证平台的处理结果进行比对；

验证环境层模块，所述验证环境层模块对场景使用在环境层中进行注册；及

验证顶层模块，所述验证顶层模块定义全局顶层文件，并约束全局变量以及待测目标重构代码的工作模式，

其中所述验证指令层模块包括：

一个或多个检测监控模块，所述一个或多个检测监控模块对所述可重构FPGA软件的待测目标重构代码最前端输入及最末端输出进行监控；

驱动产生模块，所述驱动产生模块用于驱动产生作为对待测目标重构代码的最直接激励输入，保证驱动激励正确完整的应用于待测目标重构代码；

驱动调度模块，所述驱动调度模块是驱动产生模块的上层协作模块，动态调整和改变驱动调度模块；

过程监控模块，所述过程监控模块对待测目标重构代码的运行过程进行监控；

时间记录模块，伴随过程监控模块对待测目标重构代码进行实时监控，并且通过设置开始、结束寄存信号来获取完整重构时间、重构间隔。

2.如权利要求1所述的可重构FPGA软件的专用验证测试系统，其特征在于，所述验证功能层模块包括输入代理模块和输出代理模块。

3.如权利要求2所述的可重构FPGA软件的专用验证测试系统，其特征在于，所述输入代理模块控制检测监控模块何时开始对输入进行监控，何时协同驱动产生模块和驱动调度模块一起工作。

4.如权利要求3所述的可重构FPGA软件的专用验证测试系统，其特征在于，输出代理模对输出端的检测监控模块所获取的数据进行整理及整合，并对输出端的检测监控模块进行控制。

5.如权利要求2所述的可重构FPGA软件的专用验证测试系统，其特征在于，所述验证功能层模块包括：比对模块及模型参考库，通过所述模型参考库运用输入信号激励对复制目标代码实现进行二次确认验证测试，并通过比对模块将结果与实际目标测试代码经输出监视器的结果进行比对。

6.如权利要求1所述的可重构FPGA软件的专用验证测试系统，其特征在于，所述验证环境层模块包括常规重构功能验证环境库、重构测试代码环境库及重构跟踪代码环境库。

7.如权利要求6所述的可重构FPGA软件的专用验证测试系统，其特征在于，所述重构测试代码环境库对可重构FPGA软件进行以下验证：相关故障注入验证、重构程序正确性验证、重构程序完整性验证以及重构数据校验正确性验证。

8.如权利要求6所述的可重构FPGA软件的专用验证测试系统，其特征在于，所述重构跟踪代码环境库对可重构FPGA软件进行以下测试：重构失效恢复测试、系统重构时间测试。

9.如权利要求1所述的可重构FPGA软件的专用验证测试系统，其特征在于，所述验证顶层模块通过不同的约束，产生出不同的场景，实现对待测目标重构代码的定向功能测试点测试，或者通过随机场景改变而实现对待测目标重构代码的随机化验证。