The paper proposes controlling input values tracing algorithm and test derivation algorithm based on test pattern generation using satisfiability.
以组合电路的满足性测试生成算法为基础，提出了控制输入跟踪算法和测试衍生算法。
The paper proposes controlling input values tracing algorithm and test derivation algorithm based on test pattern generation using satisfiability.
以组合电路的满足性测试生成算法为基础，提出了控制输入跟踪算法和测试衍生算法。
应用推荐