Speeding up power verification by merging equivalent power domains in RTL design with UPF | IEEE Conference Publication | IEEE Xplore