Văn bản này: A Unified Approach to Portable Power IC Verification