Bayesian theory based switching probability calculation method of critical timing path for on-chip timing slack monitoring | IEEE Conference Publication | IEEE Xplore