永遠要平衡仿真的速度和精度。

　　有一些關于模型創建的簡約、精確、性能和可讀的若干準則。

　　·簡約，只針對必要的功能驗證建模。要在簡約和精確之間進行權衡，這需要寫模型的人、模擬設計人員和驗證工程師討論決定。應考慮到驗證要求和意圖。

　　·精確：不能精確表示電路行為的模型可能導致錯誤被疏忽。精確的建模所有數字邏輯是很重要的。模型應該根據存在/不存在適當的偏置電壓/電流和電源來啟動/停止操作。

　　·性能：AMS模型可能對仿真器性能產生負面影響。寫模型的人需要考慮仿真速度。

　　·可讀：模型很可能是其他模型的起點，所以要創建可讀的代碼，提供清楚的注釋是很重要的。

　　2.3.2 混合信號驗證的挑戰之二 – 連接性驗證

　　混合信號的第二大挑戰是連接性驗證。

　　混合信號驗證往往會發現三種類型的功能性錯誤。

　　實施許多設置的單個模擬模塊。 這些錯誤通常是控制邏輯上的微妙問題。設計者如果有太多的設置要測試，就很難發現。

　　連接性驗證的重點在模擬到模擬接口或數字到模擬接口上。大多情況下有兩種連接性錯誤：

　　1. 模塊間通信錯誤；這屬于雞生蛋蛋生雞的問題。舉例來說，低功率芯片上調節器依賴于共享偏置發生器的情況。如果偏置發生器本身依賴于調節器的輸出，那么這對組合可能永遠都無法啟動。

　　2. 數字電路，控制模擬，產生其輸入，或處理其輸出；或者是模擬和數字電路之間的接口。

　　大多數連接都有直接激勵和檢查器，對各個模擬模型來說，所有的輸入都直接傳送為輸出。

　　特殊情況下，應當應用基于斷言的驗證方法用于連接性驗證。

　　2.3.3 混合信號驗證的挑戰之三 – 驗證IP

　　第三個挑戰是驗證IP。幾個驗證IP是分別為各個IP創建的。最復雜的混合信號VIP是分段LCD VIP，支持64個模擬LCD引腳。分段LCD的驗證是采用混合信號驗證方法的最佳案例。VIP包括五個部分。 LCD影子寄存器、激勵發生器、波形監視器、故障仿真器和覆蓋發生器。激勵發生器用于產生數字和模擬激勵，影子寄存器實時獲得LCD內部寄存器的值，波形監視器自動檢查MCU邊界的LCD驅動波形，來自LCD驅動出來通過pad ring到MCU邊界的設計路徑也可驗證。故障仿真器相關于故障檢測功能。覆蓋發生器協助報告模擬信號的功能覆蓋，大大提高了混合信號驗證的質量。

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