An Efficient Pruning Method to Guide the Search of Precision Tests in Statistical Timing Space | IEEE Conference Publication | IEEE Xplore