A Monte-Carlo approach for the accurate and efficient estimation of average transition probabilities in sequential logic circuits | IEEE Conference Publication | IEEE Xplore