An Error Diagnosis Technique Based on SAT-Solver and Its Application to Incremental Synthesis to Reduce Costs Needed for ECO's

我们提出并实现了一种基于SAT求解器的错误诊断技术，并将其应用于增量式综合系统，以降低工程变更单（ECO）所需的成本。通过迭代的错误诊断过程中的每个子电路与不正确的主要输出功能，我们能够得到的解决方案，甚至更大的电路与许多ECO的。实验结果表明，该系统是有效的，以减少成本所需的ECO的。

We have proposed and implemented an error diagnosis technique based on SAT-solver and have applied it to an incremental synthesis system to reduce costs needed for ECO' s(Engineering Change Orders). By iterating the error diagnosis procedure for each subcircuit with incorrect primary output function, we are able to obtain solutions even for larger circuits with many ECO's. The experimental results have shown that the proposed system is effective to reduce costs needed for ECO's.