永遠(yuǎn)要平衡仿真的速度和精度。

　　有一些關(guān)于模型創(chuàng)建的簡約、精確、性能和可讀的若干準(zhǔn)則。

　　·簡約，只針對必要的功能驗(yàn)證建模。要在簡約和精確之間進(jìn)行權(quán)衡，這需要寫模型的人、模擬設(shè)計(jì)人員和驗(yàn)證工程師討論決定。應(yīng)考慮到驗(yàn)證要求和意圖。

　　·精確：不能精確表示電路行為的模型可能導(dǎo)致錯誤被疏忽。精確的建模所有數(shù)字邏輯是很重要的。模型應(yīng)該根據(jù)存在/不存在適當(dāng)?shù)钠秒妷?電流和電源來啟動/停止操作。

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

　　·可讀：模型很可能是其他模型的起點(diǎn)，所以要創(chuàng)建可讀的代碼，提供清楚的注釋是很重要的。

　　2.3.2 混合信號驗(yàn)證的挑戰(zhàn)之二 – 連接性驗(yàn)證

　　混合信號的第二大挑戰(zhàn)是連接性驗(yàn)證。

　　混合信號驗(yàn)證往往會發(fā)現(xiàn)三種類型的功能性錯誤。

　　實(shí)施許多設(shè)置的單個模擬模塊。 這些錯誤通常是控制邏輯上的微妙問題。設(shè)計(jì)者如果有太多的設(shè)置要測試，就很難發(fā)現(xiàn)。

　　連接性驗(yàn)證的重點(diǎn)在模擬到模擬接口或數(shù)字到模擬接口上。大多情況下有兩種連接性錯誤：

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

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

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

　　特殊情況下，應(yīng)當(dāng)應(yīng)用基于斷言的驗(yàn)證方法用于連接性驗(yàn)證。

　　2.3.3 混合信號驗(yàn)證的挑戰(zhàn)之三 – 驗(yàn)證IP

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

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