核电厂仪控系统中FPGA的形式验证方法及V&V技术

对比分析了形式验证与传统的仿真验证的特点,并讨论了FPGA的形式验证方法的重要性,介绍了形式验证的三种不同方法——定理证明、模型检验、等价性证明。以核电厂仪控系统中使用的FPGA芯片的一些功能作为被测对象,并且针对这些功能,选取Mentor Graphics公司开发的Questa Formal作为形式验证工具,采用基于System Verilog断言的模型检验方法对该芯片相关功能进行了功能验证和时序验证。为核电厂仪控系统中的其他的功能芯片的验证提供了一些参考。

核电仪控产品高加速老化试验技术对比研究

高加速老化试验(HALT)因其可使产品可靠性得以快速增长等特点,成为近年来工业业内新可靠性标准的推荐技术之一。首先结合HALT相关标准修订历史,对比了标准间的关系和异同,接着结合目前核电仪控高可靠性产品需求的特点,对比分析了传统可靠性试验技术存在的不足和HALT技术的优势,最后进行了总结。相关内容可为HALT技术的选择和具体实施等活动提供参考。