Low Power SoC Verification: IP Reuse and Hierarchical Composition using UPF