今日頭條
官方微信
官方抖音
資訊頻道 摘要：隨著HPD邏輯在國產化核安全級儀控系統中的廣泛應用，HPD邏輯設計的可靠性成為關鍵，仿真和硬件測試方法可達到的覆蓋率低，很難滿足核安全級產品可靠性分析驗證要求，因而全面系統化的HPD邏輯可靠性分析驗證方法是至關重要的。本文提出一種HPD邏輯的可靠性分析驗證方法，該方法提出從五個維度分析HPD邏輯的可靠性，分析時采用FMEA和形式化相結合的手段。通過FitRel平臺系統的FPGA和FirmSys平臺系統的CPLD可靠性分析的實踐，表明該方法可全面有效地揭示隱蔽的設計缺陷，保障HPD邏輯設計的可靠性。
關鍵詞：硬件描述語言；可編程設備；可靠性；邏輯
在線預覽：核安全級儀控設備HPD邏輯可靠性分析驗證方法
摘自《自動化博覽》5月刊
北京市公安局海淀分局備案號：11010802023656號