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