Fast Enhancement of Validation Test Sets for Improving the Stuck-at Fault Coverage of RTL Circuits | IEEE Journals & Magazine | IEEE Xplore