| Popis: |
This paper proposes methods to get a minimally rectified logic circuit equivalent to a new specification. One of the proposed methods can deal with multiple target signals to be modified at the same time. Moreover, a graph-cut based method is proposed to reduce the search space. In the case the problem is difficult to be handled by the at-the-same-time method, an enhanced method is proposed to efficiently deal with the target signals one by one. The quality of results on ICCAD'17 contest benchmarks is equally good or better, average 16 times better score, than the previous work. |
