Deep Integration of Circuit Simulator and SAT Solver | IEEE Conference Publication | IEEE Xplore