שליחה במסרון: A Unified Approach to Portable Power IC Verification