Switching activity modeling of multi-rail speed-independent circuits - a probabilistic approach | IEEE Conference Publication | IEEE Xplore