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

说明书

本发明公开了一种可重构FPGA软件的专用验证测试系统，包括：信号传递层模块，所述信号传递层模块提供与待测可重构FPGA软件直接的信号互联，并且被所述专用验证测试系统的其它模块所访问；验证指令层模块，所述验证指令层模块对所述可重构FPGA软件的待测目标重构代码最前端输入及最末端输出进行监控，并且还对所述待测目标重构代码的运行过程进行监控；验证功能层模块，所述验证功能层模块将所述待测目标重构代码的输出结果和验证平台的处理结果进行比对；验证环境层模块，所述验证环境层模块对场景使用在环境层中进行注册；及验证顶层模块，所述验证顶层模块定义全局顶层文件，并约束全局变量以及待测目标重构代码的工作模式。

技术领域

本发明涉及计算机软件验证测试领域，尤其涉及基于星上在轨可重构FPGA软件的专用验证测试系统。

背景技术

现场可编程逻辑器件(FPGA)技术在过去的几十年中取得了惊人的发展，根本在于：FPGA不但可以解决电子系统小型化、低功耗、高可靠性等问题，而且它的开发周期短、开发软件投入少、芯片价格不断降低，促使FPGA越来越多地取代了ASIC的市场，特别是对小批量、多品种的产品需求，使FPGA成为首选。

目前，针对越来越多星上FPGA软件重构实现的需求，传统的FPGA验证测试手段无论是在验证功能测试点覆盖还是在验证准确度上都无法满足可重构FPGA软件的验证需求。常规的验证测试体系架构是以星上FPGA可重构代码设计需求规范为导向制定可验证测试方案，在明确所要验证测试点之后，采用硬件描述语言对待测试部分代码编写定向测试用例，在验证过程中通过观察输出波形来判断所设计的功能是否正确，其通常在EDA验证测试软件工具上实现，针对常规FPGA验证测试体系的架设一般如图1所示。图1示出了常规FPGA验证测试体系架设。

另外，吕欣欣等人在FPGA通用验证平台建立方法研究，微电子学与计算机，2010.5中提出了一种相对较先进的FPGA通用验证平台，该平台体系架构从采用层次化结构、统一测试用例格式和提取通用基类三方面入手建立，其体系架构主要通过模块化操作使得平台改变较容易，同时利用较清晰的平台层次化划分，保证各层次之间有一定的独立性。

发明内容

传统的FPGA验证测试体系架设单纯以任务需求为导向，其不能很好的适应可重构FPGA软件的诸多特殊验证点，如：重构过程监控、重构实现功能验证、重构代码完整性的主动检查等都成为了FPGA可重构软件的验证测试盲区。同时，繁琐复杂又多样化的重构功能需求，又要求驱动激励段的不断变化。测试激励代码的频繁更动、编译再到实现都需要花费大量的人力、时间代价。

后来提出的FPGA通用验证测试体系，虽然利用层次化结构、统一测试用例格式和提取通用基类来架设，但由于其主旨为建立通用的验证平台，但又没有考虑FPGA软件其与接口协议紧密相关，并无法实现针对所有种类或功能实现FPGA的通用性验证环境；同时该体系架构中的驱动类都来自于上层驱动层，通过调用预存在的驱动数据使得驱动进行传输，该种方法的产生会带来多个弊端：1.预编译存在的驱动代码库需要有一个很大的样本测试库，且这个库要针对所有芯片选型及不同功能进行预实现，其后台工作量可想而知，且一旦出现诸如可重构FPGA软件这类具有特殊测试点的验证需求，只能从其验证测试体系架设顶层进行添加，再逐层调用，步骤繁琐。2.也无法针对可重构FPGA软件所关注的期望验证点，如重构过程监控、重构功能实现是否正确等进行验证。3.体系架构层级过于严密，造成无法根据可重构需求进行自主调整删减。