中国电子商情：通信市场
中國電子商情：通信市場
중국전자상정：통신시장
2011年
4期
105-109
,共5页
软错误%可靠性分析%逻辑电路
軟錯誤%可靠性分析%邏輯電路
연착오%가고성분석%라집전로
Soft error%Reliability evaluation%Logic circuit
提出了一种基于时序等价性检查技术的组合逻辑单元系统级可靠性分析理论和方法，并基于VIS系统下用C语言实现了原型工具。实验结果表明本方法可以成功筛选出逻辑电路中的敏感点，为后续优化设计提供指导。
提齣瞭一種基于時序等價性檢查技術的組閤邏輯單元繫統級可靠性分析理論和方法，併基于VIS繫統下用C語言實現瞭原型工具。實驗結果錶明本方法可以成功篩選齣邏輯電路中的敏感點，為後續優化設計提供指導。
제출료일충기우시서등개성검사기술적조합라집단원계통급가고성분석이론화방법，병기우VIS계통하용C어언실현료원형공구。실험결과표명본방법가이성공사선출라집전로중적민감점，위후속우화설계제공지도。
A sequential equivalence checking based approach for system level soft error reliability evaluations proposed. It＇s prototype tool is accomplished in C language on the VIS system. Experimental results show that our approach can select soft error vulnerable spots, it is useful for the optimal design.
