实验结果表明，利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率。
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.
实验结果表明，利用形式验证的技术来导向模拟的过程，抓住了高复杂度的多错误定位问题的特征，提高了电路错误诊断的效率。
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.
应用推荐