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.
该系统设计原理简单，且大大提高了诊断系统的鲁棒性，降低了误报率。
Its design is very simple. It can improve the robustness of fault diagnosis system and reduce the error rate.
该系统设计原理简单，且大大提高了诊断系统的鲁棒性，降低了误报率。
应用推荐