Average-case optimized technology mapping of one-hot domino circuits | IEEE Conference Publication | IEEE Xplore