A Controller Augmentation Method to Improve Transition Fault Coverage for RTL Data-Paths | IEEE Conference Publication | IEEE Xplore