Enhanced Design Debugging With Assistance From Guidance-Based Model Checking | IEEE Journals & Magazine | IEEE Xplore