航天外协软件产品质量管理流程及要素

基于航天软件质量管理工作实际,针对软件在外协产品中的重要性,结合软件研制管理的特点,从外协软件质量管理工作流程、关键控制要素、质量要求等方面进行总结和提炼,为外协软件质量管理提供参考。     

等效性验证工具进行大规模FPGA验证探讨

文章分析了FPGA设计验证的一般流程，并以等效性验证原理为基础，结合等效性验证工具，探讨了大规模FPGA设计验证的工作流程及具体实施过程，对优化FPGA设计验证流程给出了建设性建议。     

一种基于热分析的FPGA时序分析方法

FPGA的实际工作温度是决定FPGA时序分析可靠性的决定因素。为了克服FPGA结温难以获取的问题，充分保证FPGA时序分析的可靠性，文章提出了一种基于热分析的FPGA时序分析方法。该方法通过对整机设备内热环境分析和建模来获取FPGA的实际工作温度，在此基础上进行FPGA时序分析和温度余量分析，准确获取FPGA时序信息。该方法包含热分析和建模、FPGA时序温度参数获取、FPGA时序分析、温度余量调整等4个过程。文章还结合具体应用，对该方法进行了过程说明和应用结果分析。通过该文提出的基于热分析的FPGA时序分析方法，可以准确计算获取FPGA器件的实际结温，并在此基础上开展时序分析，从而有效保证了FPGA时序分析的准确性和可靠性。     

FPGA状态机综合可靠性探究

文章介绍了FPGA综合器中的状态机安全属性,对状态机安全属性的应用进行了说明,对状态机安全属性设置前后电路的差异性进行了分析,探索了不同设置下的电路功能.结果表明,通过综合器状态机安全属性设置,可改善逻辑电路对状态机无效状态的处理,提高状态机运行的可靠性.