Using logic models to predict the detection behavior of statistical timing defects | IEEE Conference Publication | IEEE Xplore