功率閘控 壓降分析 低功耗驗證 靜態時序分析 可製造性設計 通用功率格式 統一功率格式 動態電壓與頻率調節 Power gating IR-drop analysis Low power verification Static timing analysis STA Design for manufacturability DfM Common power format CPF Unified power format UPF Dynamic voltage and frequency scaling DVFS