2.3.4 混合信號驗(yàn)證challenge4 – 功耗驗(yàn)證

　　混合信號驗(yàn)證的另一大挑戰(zhàn)是功耗驗(yàn)證。Kinetis的功耗驗(yàn)證采用了CPF方法。

　　CPF語言提供表示設(shè)計(jì)實(shí)現(xiàn)和驗(yàn)證使用的工具所能理解的功率意圖。

　　基于CPF的低功耗驗(yàn)證流程使其有能力在設(shè)計(jì)周期的早期RTL已準(zhǔn)備就緒時(shí)驗(yàn)證低功耗設(shè)計(jì)意圖。流程包括使用CPF進(jìn)行靜態(tài)檢查和動態(tài)仿真。

　　這是Kinetis的功率域圖，功率域包括padring電源域、DGO電源域、SOG電源域、VDDA電源域、RTC電源域、USB電源域、FLASH電源域、雙口RAM電源域、SRAM電源域。

　　下面是可以通過動態(tài)CPF仿真來驗(yàn)證的主要項(xiàng)目：

　　·電源開關(guān)關(guān)閉（PSO）行為

　　·設(shè)計(jì)邏輯錯(cuò)誤斷電

　　·隔離規(guī)則：隔離值的正確性

　　·狀態(tài)保持功率門控（SRPG）規(guī)則

　　·正確的斷電供電順序

　　·內(nèi)存電源關(guān)閉控制

　　Encounter® Conformal®低功耗軟件可以讓你在設(shè)計(jì)過程早期使用的正規(guī)技術(shù)（相對于仿真）來驗(yàn)證芯片。可以用來捕獲錯(cuò)誤的功率意圖規(guī)范，比如隔離單元缺失/冗余、電平轉(zhuǎn)換器、或者控制信號無適當(dāng)供電等，尤其是電平轉(zhuǎn)換器，在動態(tài)CPF仿真中非常難以驗(yàn)證。也可以用來在每個(gè)驗(yàn)證階段進(jìn)行等效性檢查。

　　2.3.5 混合信號驗(yàn)證底5大挑戰(zhàn) – 混合信號功能覆蓋

　　傳統(tǒng)上，覆蓋率是用以建立信任的一個(gè)維度，對于確保驗(yàn)證計(jì)劃完整、設(shè)計(jì)經(jīng)過盡可能徹底的驗(yàn)證而言，這是一個(gè)安全網(wǎng)絡(luò)。覆蓋率指標(biāo)是針對明示或暗示目標(biāo)測量所收集的覆蓋率數(shù)據(jù)，通常以百分比表示。

　　目前混合信號驗(yàn)證質(zhì)量取決于混合信號驗(yàn)證工程師的經(jīng)驗(yàn)。模擬信號的功能覆蓋迫切需要一種通用的方法。

　　AMS designer可以支持面向控制的PSL / SVA斷言，ICC也支持PSL斷言和覆蓋率指令。對于有幾個(gè)模擬IP在內(nèi)的混合信號芯片，每個(gè)模擬IP都有自己的覆蓋模型。這些模型是獨(dú)特的，各有不同。

　　這些覆蓋模型是自動生成的，是模擬設(shè)計(jì)的仿真部分。

　　這些覆蓋模型有助于產(chǎn)生模擬信號的功能覆蓋報(bào)告，功能覆蓋報(bào)告100％應(yīng)該是驗(yàn)證流程一個(gè)強(qiáng)制要求，這樣可以消除不完整驗(yàn)證可能帶來的錯(cuò)誤。

　　本文選自電子發(fā)燒友網(wǎng)6月《智能工業(yè)特刊》Change The World欄目，轉(zhuǎn)載請注明出處。