Synopsys推出一款低功耗靜態規則檢查工具—VCLP

VCLP（VC Low Power）是Synopsys提供的一款低功耗靜態規則檢查工具，它能夠幫助驗證和清潔IEEE 1801 Unified Power Format (UPF)低功耗設計意圖，并確保UPF中的功耗意圖與實現一致。VCLP通過執行語法和語義檢查，有助于在實現之前驗證UPF的一致性。錯誤的功耗意圖可能導致錯誤的低功耗實現，因此使用VCLP進行驗證是確保設計質量的重要步驟。

下面小編簡單介紹下UPF定義及景芯A72項目編寫VCLP腳本的步驟，具體腳本flow參見景芯A72服務器腳本：

（一）定義功耗域（Power Domains）

使用create_power_domain命令創建功耗域，并使用-include_scope參數包含需要的scope。

create_power_domain PD_maia_cpu–include_scope .

（二）創建供電網絡（Supply Port/Nets）

使用create_supply_port/create_supply_net命令創建供電網絡，并使用-domain參數指定所屬的功耗域。

create_supply_net VDDS_maia_cpu –domain PD_maia_cpu

（三）連接供電端口（Connect Supply Ports）

使用connect_supply_net命令將供電網絡連接到端口。

connect_supply_net VDDS_maia_cpu–ports {VDDS_maia_cpu}

(四）設置電源開關（Power Switches）

使用create_power_switch命令創建電源開關，并指定所屬的功耗域。

（五）設置保留策略（Retention Strategies）

使用set_retention命令設置保留策略，包括保留電源網絡和控制信號。

set_retention my_retention_strategy –domain PD_maia_cpu–retention_power_net VDD

（六）設置隔離（Isolation）

使用set_isolation命令設置隔離策略，包括隔離電源網絡和控制信號

set_isolation my_isolation –domain PD_maia_cpu–isolation_power_net VDD

（七）設置電平轉換器（Level Shifters）

使用set_level_shifter命令設置電平轉換器策略。

set_level_shifter my_level_shifter_strategy –domain PD_maia_cpu–applies_to outputs –location parent

(八）執行UPF檢查（UPF Checks）

使用check_lp命令執行UPF檢查，并指定檢查的階段。

check_lp –stage upf

（九）報告UPF問題

使用report_lp命令生成UPF問題的報告。

report_lp

比如下面這個問題，景芯A72的同學們必須debug清楚哈，不然打板子！教程寫了如何debug。

上述步驟小編只是很簡單介紹了下UPF、VCLP的基本框架，具體的命令和參數可以參考景芯A72實戰項目。編寫VCLP腳本時，需要仔細閱讀UPF的規范和VCLP的用戶指南，確保所有的設置都符合設計意圖。此外，對于復雜的設計，可能還需要編寫更高級的腳本來處理特殊情況，如特殊的低功耗選項或debug過程中的特定命令。

審核編輯：劉清