FPGA软件重构验证方法研究

摘要

FPGA软件的重构技术已广泛应用于包括航天航空在内的各大领域,通过对FPGA芯片局部或全局逻辑资源的改变来实现在固定逻辑体积下形成多种逻辑功能分时复用.但面对越来越广泛的FPGA重构软件实现,传统验证手段在针对重构FPGA软件时暴露出多测试点无法执行、测试覆盖率低及仿真测试周期时间过长的弊端.文中以验证方法学为基础,结合FPGA软件重构自身特点及当前主流软件重构实现形式,实现了一种新的基于FPGA软件重构的自顶向下的层次化验证测试方案,并通过验证证明该测试方案能对可重构FPGA软件具有较强的针对性验证测试,且较之传统验证测试手段大大提高验证覆盖率及对测试点的覆盖面.