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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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