Low Power Verification with UPF: Principle and Practice