Beyond UPF & CPF: Low-power design and verification | IEEE Conference Publication | IEEE Xplore