DFT and Probabilistic Testability Analysis at RTL | IEEE Conference Publication | IEEE Xplore