Textmeddelande: A Unified Approach to Portable Power IC Verification