UPF-based formal verification of low power techniques in modern processors | IEEE Conference Publication | IEEE Xplore