A probabilistic method for the computation of testability of RTL constructs | IEEE Conference Publication | IEEE Xplore