Probabilistic bottom-up RTL power estimation | IEEE Conference Publication | IEEE Xplore