2.3.4 混合信號驗證challenge4 – 功耗驗證
混合信號驗證的另一大挑戰(zhàn)是功耗驗證。Kinetis的功耗驗證采用了CPF方法。
CPF語言提供表示設(shè)計實現(xiàn)和驗證使用的工具所能理解的功率意圖。
基于CPF的低功耗驗證流程使其有能力在設(shè)計周期的早期RTL已準備就緒時驗證低功耗設(shè)計意圖。流程包括使用CPF進行靜態(tài)檢查和動態(tài)仿真。
這是Kinetis的功率域圖,功率域包括padring電源域、DGO電源域、SOG電源域、VDDA電源域、RTC電源域、USB電源域、FLASH電源域、雙口RAM電源域、SRAM電源域。
下面是可以通過動態(tài)CPF仿真來驗證的主要項目:
·電源開關(guān)關(guān)閉(PSO)行為
·設(shè)計邏輯錯誤斷電
·隔離規(guī)則:隔離值的正確性
·狀態(tài)保持功率門控(SRPG)規(guī)則
·正確的斷電供電順序
·內(nèi)存電源關(guān)閉控制
Encounter® Conformal®低功耗軟件可以讓你在設(shè)計過程早期使用的正規(guī)技術(shù)(相對于仿真)來驗證芯片。可以用來捕獲錯誤的功率意圖規(guī)范,比如隔離單元缺失/冗余、電平轉(zhuǎn)換器、或者控制信號無適當供電等,尤其是電平轉(zhuǎn)換器,在動態(tài)CPF仿真中非常難以驗證。也可以用來在每個驗證階段進行等效性檢查。
2.3.5 混合信號驗證底5大挑戰(zhàn) – 混合信號功能覆蓋
傳統(tǒng)上,覆蓋率是用以建立信任的一個維度,對于確保驗證計劃完整、設(shè)計經(jīng)過盡可能徹底的驗證而言,這是一個安全網(wǎng)絡。覆蓋率指標是針對明示或暗示目標測量所收集的覆蓋率數(shù)據(jù),通常以百分比表示。
目前混合信號驗證質(zhì)量取決于混合信號驗證工程師的經(jīng)驗。模擬信號的功能覆蓋迫切需要一種通用的方法。
AMS designer可以支持面向控制的PSL / SVA斷言,ICC也支持PSL斷言和覆蓋率指令。對于有幾個模擬IP在內(nèi)的混合信號芯片,每個模擬IP都有自己的覆蓋模型。這些模型是獨特的,各有不同。
這些覆蓋模型是自動生成的,是模擬設(shè)計的仿真部分。
這些覆蓋模型有助于產(chǎn)生模擬信號的功能覆蓋報告,功能覆蓋報告100%應該是驗證流程一個強制要求,這樣可以消除不完整驗證可能帶來的錯誤。
本文選自電子發(fā)燒友網(wǎng)6月《智能工業(yè)特刊》Change The World欄目,轉(zhuǎn)載請注明出處。
用戶評論(0)