FPGA快速验证一体化工具集成平台软件QVP-FOR-FPGA旨在提供一个在对CPLD/FPGA项目实施基于GJB 9433-2018标准（即军用可编程逻辑器件软件测试要求）的具体测试验证活动时进行统一过程管理和对底层具体测试工具的高度自动化调度执行，对FPGA软件单元/配置项测试要求实施的各种测试类型进行具体定义和自动化执行，对测试过程中的所有数据进行统一管理和生成符合GJB的测试文档，从而来支撑对FPGA软件的有体系性的、显著减小测试人员对测试工具的掌握成熟度、有效测试验证工作的开展。

其主要组成功能如下：

l  支持单元级、配置项级测试；

l  覆盖GJB 9432-2018、GJB 9433-2018标准中对FPGA软件测试验证要求的各种具体测试技术手段的自动执行和数据管理

l  实现各个测试阶段相关底层测试工具模块的透明化自动配置和运行调度、结果数据解析，显著减小测试人员对底层具体测试工具的操作成本；

l  以各个底层测试工具模块的基本分析数据为对象，有效的实现了工具间数据的可见、融合、可追踪，以及工具间过程的自动化；

l  支持VHDL/VERILOG/SYSTEMVERILOG语言及混合语言的测试

l  提供自动的编码规则分析和代码审查；

l  提供自动的跨时钟域的电路MTBF可靠性分析；

l  提供自动的基于形式化技术的代码运行时缺陷定位和问题复现；

l  对VHDL/VERILOG代码自动生成针对覆盖率的测试用例及自动仿真；

l  提供自动的进行基于需求的快速功能/时序/接口/性能/安全性需求的形式化验证；

l  提供需求追踪矩阵分析

l  自动生成基于形式化需求的测试用例/测试台及仿真；

l  自动生成满足GJB要求的检查单、记录表单、报表、文档；

l  提供全面的测试类型支持，包括：

文档审查、代码审查、逻辑测试、跨时钟域分析、逻辑等效性检查、功能测试、性能测试、时序测试、接口测试、强度测试、余量测试、安全性测试、边界测试