基于CAN总线的星载软件测试系统设计

对基于CAN总线的星载软件测试系统设计进行了研究。系统硬件包括PXI工控机和CAN高速板卡,应用LabVIEW编程模拟各下位机,实现了与星载软件的通信,具有下位机的状态检测、遥测数据分析、注数数据监测和计算机内存下卸等功能。实际应用表明:该基于CAN总线的星载软件测试系统满足第三方测试要求,运行稳定可靠。

基于反馈约束的SRAM接口时序分析方法

FPGA验证作为保证FPGA产品功能和可靠性的重要手段已经备受关注;对接口芯片时序的验证通常通过布局布线后仿真来进行,但布局布线后仿真需要耗费大量的时间;介绍了一种基于反馈的SRAM接口时序验证的方法,将FPGA输入输出连接成一个回路,验证结果表明,与动态仿真验证相比,该种静态时序验证方法可以较早、快速、精确定位FPGA接口时序设计存在的问题;缩短了验证时间,提高了验证效率、准确性和覆盖率。

抗SEU动态刷新FPGA的仿真验证技术研究

SRAM型FPGA在航天领域有着广泛的应用,配置刷新能提高SRAM型FPGA抗单粒子翻转的能力,目前宇航SRAM型FPGA的抗SEU动态刷新电路设计技术已经较为成熟,但是如何验证其功能正确性,没有给出特殊方法。本文提出四种消除单粒子效应造成的软故障的抗SEU的FPGA设计方式,并重点针对周期性闭环配置刷新方式进行了仿真验证技术研究,找出验证该模式的关键验证要点,供验证人员作为指导。

FLASH写溢出功能测试与问题分析

当使用FLASH来存储数据时,相同的地址不能重复写入数据。在没有擦除的情况下,重复对同一个地址进行写操作,会使得存储的数据内容出错,从而导致从FLASH中读出的数据出错。因此,需要对FLASH的写溢出功能进行测试。当FLASH中的所有好块被占用,FPGA应能自动停止写入数据,等待下一轮的写操作。