Enhanced dual-transition probabilistic power estimation with selective supergate analysis | IEEE Conference Publication | IEEE Xplore