摘要:隨著(zhù)HPD邏輯在國產(chǎn)化核安全級儀控系統中的廣泛應用,HPD邏輯設計的可靠性成為關(guān)鍵,仿真和硬件測試方法可達到的覆蓋率低,很難滿(mǎn)足核安全級產(chǎn)品可靠性分析驗證要求,因而全面系統化的HPD邏輯可靠性分析驗證方法是至關(guān)重要的。本文提出一種HPD邏輯的可靠性分析驗證方法,該方法提出從五個(gè)維度分析HPD邏輯的可靠性,分析時(shí)采用FMEA和形式化相結合的手段。通過(guò)FitRel平臺系統的FPGA和FirmSys平臺系統的CPLD可靠性分析的實(shí)踐,表明該方法可全面有效地揭示隱蔽的設計缺陷,保障HPD邏輯設計的可靠性。
關(guān)鍵詞:硬件描述語(yǔ)言;可編程設備;可靠性;邏輯
在線(xiàn)預覽:核安全級儀控設備HPD邏輯可靠性分析驗證方法
摘自《自動(dòng)化博覽》5月刊