FPGA软件验证及测试.pdfVIP

FPGA软件验证及测试

摘要：目前在军工领域FPGA软件的应用越来越广泛，为了提软件质量，本文

根据FPGA软件的恃点，对FPGA软件的测试模型和测试方法进行了分析。本文

指出FPGA软件开发过程中应进行整体规划并有效实施，FPGA软件测试中的各

项活动应与其设计开发过程各个阶段的活动相对应，应尽可能将各阶段产生的

缺陷在该阶段发现和消除，不断提FPGA软件的开发效率和可靠性，最终提

FPGA软件产品质量，提升顾客满意度。

关键字：现场可编程门阵列FPGA软件验证

1引言

FPGA（现场可编程门阵列）正向密度、低成本、低功耗、性能的方向发展,

为满足日益复杂的数字化系统设计要求，FPGA的密度及复杂性也在急速增长，

越来越多的系统或子系统功能在FPGA内部实现，其先进的功能和集成度使

FPGA成为极具吸引力的解决方案。但是随着FPGA应用领域的扩展以及重要性

和复杂程度的提，其可靠性的问题变得越来越突出，FPGA设计代码的质量对

整个FPGA系统的性能稳定可靠至关重要。目前在武器装备领域很多FPGA产品

的软件验证和研制过程控制滞后于其应用增长的速度，测试不充分和过程管理

不严格已成为FPGA软件发展的瓶颈。本文针对现阶段FPGA软件的发展状况，

提出了针对军用FPGA软件的测试方法及测试类型。

2FPGA软件验证

2.1验证过程V模型

软件测试过程中，经典模型是PaulRook在20世纪80年代后期提出了V模型，

旨在改进软件开发的效率和效果。V模型中左边每个开发活动都与右边的测试

活动相对应，图中的箭头代表了时间方向。V模型主要传递了如下信息：需

求、功能、设计和编码的开发活动随时间而进行，而相应的测试活动即针对需

求、功能、设计和编码的测试，其开展的次序则正好相反。V模型揭示了软件

测试活动分层和分阶段的本质特征，但该模型也存在一定的局限性，容易让人

形成“测试是开发之后的一个阶段”、“测试的对象是程序”等的误解，实际

应用容易导致需求阶段隐藏的错误一直到最后验收测试时才被发现，造成软

件维护难度大、成本高等问题。

2.2FPGA软件验证模型

FPGA软件验证目的是验证FPGA软件是否满足研制任务书、需求规格说明、设

计说明等所规定的要求，发现可编程逻辑器件软件错误，为可编程逻辑器件软

件产品质量的评价提供依据。经过大量实践证明，FPGA开发流程具体分为设计

输入、功能仿真、综合布局布线、时序仿真、生成并下载BIT或PROM文件进行

板级验证等五个阶段。根据FPGA设计流程和FPGA系统特点，针对V模型的不

足，基于Evolutif公司的W模型，建立适用于FPGA软件测试的W模型:

W模型是V模型自然而然的发展，它强调测试伴随整个软件的开发周期，而且

测试的对象不仅仅是程序，需求、功能和设计同样要测试。这样只要有相应的

开发活动完成，就可以执行测试。也就是说测试与开发是同步进行的，这样又

利于尽早发现错误。以需求为例，需求分析完成后就可以对需求进行相应的测

试及文档审查，而不必等到最后才进行针对需求的验收测试。

2.3FPGA软件测试方法

FPGA软件测试过程，应根据研制任务书、需求规格说明、设计说明等文档要

求，采用合理的测试方法，对可编程逻辑器件软件单元、配置项、系统的功能

要求、性能要求、时序要求、接口要求、强度要求、余量要求、安全性要求、

边界要求和功耗要求等开展测试。针对FPGA软件的特点，FPGA软件的主要测

试包括以下：

1）设计检查：设计检查是采用人工（包含工具辅助）的方法，对开发文档及工

程文件等进行测试。

2）功能仿真：功能仿真是在不包含信号传输延时信息的条件下，用仿真方

法验证设计的逻辑功能是否正确的过程。

3）门级仿真：门级仿真是针对逻辑综合后网表文件开展的仿真测试。

4）时序仿真：时序仿真是针对布局布线之后的网表文件和标准延时格式文

件开展的仿真测试。

5）静态时序分析：依据测试用例的要求，针对逻辑综合或布局布线后的网表文

和标准延时格式文开展静态时序分析。静态时序分析针对FPGA设计综合及

布局布线后生成的门级网表进行时序检查，根据电路网表的拓扑检查所有路