A Synthesis Method to Alleviate Over-Testing of Delay Faults Based on RTL Don't Care Path Identification | IEEE Conference Publication | IEEE Xplore