Low Power SoC Verification: IP Reuse and Hierarchical Composition using UPF Author(s): Amit Srivastava, Rudra Mukherjee, Erich Marschner, and Chuck Seeley Download