FPGA软件重构验证方法研究

作     者：虞业泺 施敏华 郑倩云 YU Yeluo;SHI Minhua;ZHENG Qianyun

作者机构：上海微小卫星工程中心上海201210 中国科学院微小卫星创新研究院上海201210 

出 版 物：《电子设计工程》 (Electronic Design Engineering)

年 卷 期：2020年第28卷第21期

页      码：65-69,74页

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

主 题 词：FPGA 重构技术 层次化 验证方法学 

学科分类：080902[080902] 0809[工学-计算机类] 08[工学] 

D　O　I：10.14022/j.issn1674-6236.2020.21.015

馆 藏 号：203990746...