摘要：随着HPD逻辑在国产化核安全级仪控系统中的广泛应用，HPD逻辑设计的可靠性成为关键，仿真和硬件测试方法可达到的覆盖率低，很难满足核安全级产品可靠性分析验证要求，因而全面系统化的HPD逻辑可靠性分析验证方法是至关重要的。本文提出一种HPD逻辑的可靠性分析验证方法，该方法提出从五个维度分析HPD逻辑的可靠性，分析时采用FMEA和形式化相结合的手段。通过FitRel平台系统的FPGA和FirmSys平台系统的CPLD可靠性分析的实践，表明该方法可全面有效地揭示隐蔽的设计缺陷，保障HPD逻辑设计的可靠性。

    关键词：硬件描述语言；可编程设备；可靠性；逻辑

    在线预览：核安全级仪控设备HPD逻辑可靠性分析验证方法

    摘自《自动化博览》5月刊