问题导向诊断 POMD
問題導向診斷
Problem-oriented 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.
youdao
应用推荐
模块上移
模块下移
不移动