RTL power optimization with gate-level accuracy | IEEE Conference Publication | IEEE Xplore