2.3.4 混合信號驗證challenge4 – 功耗驗證

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

　　CPF語言提供表示設計實現和驗證使用的工具所能理解的功率意圖。

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

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

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

　　·電源開關關閉（PSO）行為

　　·設計邏輯錯誤斷電

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

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

　　·正確的斷電供電順序

　　·內存電源關閉控制

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

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

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

　　目前混合信號驗證質量取決于混合信號驗證工程師的經驗。模擬信號的功能覆蓋迫切需要一種通用的方法。

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

　　這些覆蓋模型是自動生成的，是模擬設計的仿真部分。

　　這些覆蓋模型有助于產生模擬信號的功能覆蓋報告，功能覆蓋報告100％應該是驗證流程一個強制要求，這樣可以消除不完整驗證可能帶來的錯誤。

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