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)載請注明出處。