Fault-diagnosis-based technique for establishing RTL and gate-level correspondences | IEEE Journals & Magazine | IEEE Xplore