Mixed Signal Verification of UPF based designs A Practical Example