Veloce System-Level Power Analysis and Verification