SAT-Based Fault Equivalence Checking in Functional Safety Verification | IEEE Journals & Magazine | IEEE Xplore