Experimental results show that using formal techniques to direct simulation captures the main characteristics of error location and improves the effectiveness and efficiency of design error diagnosis.
实验结果表明，利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率。
Its design is very simple. It can improve the robustness of fault diagnosis system and reduce the error rate.
该系统设计原理简单，且大大提高了诊断系统的鲁棒性，降低了误报率。
应用推荐