RTL design validation, DFT and test pattern generation for high defects coverage | IEEE Conference Publication | IEEE Xplore