Automated Design Debugging With Maximum Satisfiability | IEEE Journals & Magazine | IEEE Xplore