A New Approach for Debugging Logic Circuits without Explicitly Debugging Their Functionality
Amir Masoud Gharehbaghi, Masahiro Fujita · 2016
Traditional debugging methods try to find an appropriate function of the given inputs for the internal nodes such that the modified circuit becomes correct. In this paper, we propose a new approach based on iterative SAT solving to find the inputs of the function for the internal nodes out of all the internal signals and primary inputs such that it is guaranteed to be able to correct the functionality without explicitly generating the functions. Our experimental results on ITC'99 benchmarks shows the efficiency and effectiveness of our approach.