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