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