SaberMAST建模與模型測試

1、SaberMAS優(yōu)模與模型測試1、 主要內(nèi)容建模+測試2、 建模1. EDA分類：EDA分為兩類：實現(xiàn)類工具：產(chǎn)生加工圖紙文件，可以直接用于生產(chǎn)的，layout和綜合器（編程）c軟件主要有Protel、powerpcb等驗證類工具：不產(chǎn)生加工圖紙文件，用于對功能和性能進行驗證，像時序仿真、系統(tǒng)驗證。軟件主要有saber、modelsim、pspice等2. saber仿真驗證1）系統(tǒng)級仿真：如汽車、飛機等大系統(tǒng)，包含機械、電、液壓、控制等。其關(guān)心的問題是系統(tǒng)功能驗證，一般是函數(shù)層面的東西，不關(guān)系系統(tǒng)實現(xiàn)（器件EDA模型）。2）模塊級仿真：模塊的定義與其所處的層次有關(guān)，可以上升為系統(tǒng)級，也可以下

2、降為器件級。部分關(guān)心功能，部分關(guān)心實現(xiàn)，如發(fā)動機、車門、閘、燈、軸等。3）元器件級：由若干器件組成的電路/系統(tǒng)?？梢詫崿F(xiàn)的，即可以由器件的EDA模型組成。在進行系統(tǒng)仿真之前要弄明白對象：系統(tǒng)是什么，模塊是什么，其器件是什么。3. 驗證方法及方式包含兩種方法：Top->Down和Down->Top1） Top->Down自上至下分別是系統(tǒng)級->模塊級->器件級，在系統(tǒng)級不關(guān)心器件，只關(guān)心傳遞函數(shù)層面的實現(xiàn)；在模塊級能用器件實現(xiàn)的用器件實現(xiàn)，其余的用傳函實現(xiàn)；在器件級用器件的EDA模型實現(xiàn)。系統(tǒng)級模塊級YA器件級T彳2） Down->Top首先由器件的EDA模型

3、建立器件級模型，根據(jù)仿真的結(jié)果抽象處模塊的功能，在模塊級用傳函加器件的方式分析模塊的功能，并進一步抽象得出系統(tǒng)級的功能和傳函，進行系統(tǒng)功能驗證。兩種方式的區(qū)別：1) Top->Down：屬于定制類型的仿真驗證，通用性較差，環(huán)境和電路參數(shù)改變后，模塊和器件級的構(gòu)建都需要重新來過，器件級建模工作量小。2) Down->Top：屬于通用型的仿真驗證，通用性較強，因為器件是通用的模型，能夠應用到不同的場合，所以頂層更改功能較容易實現(xiàn)，驗證精度較高，但是器件級建模工作量大。4 .建模1)目標分類方法：定制建模：驗證所關(guān)心的設計，器件的其余功能和性能不關(guān)心。通用建模：嚴格按照器件特性建模，工作

4、量大。如運放模型：定制模型可以只關(guān)心直流放大倍數(shù)A;通用模型還要考慮交流放大倍數(shù)、頻率響應特性、一階頻率特性等。2)系統(tǒng)層次和建模分類關(guān)系在模塊級根據(jù)需要來判斷是選擇定制型建模還是選擇通用型建模。5 .建?；玖鞒?)明確目標：器件行為：描述的是器件功能，比如運放起放大作用。器件特性：考量的是器件實現(xiàn)功能的精度，如5V邏輯的輸出是4.9V。模型測試：測試行為和特性是否真的實現(xiàn)了。2)研究目標：研究目標的功能、行為和特性，一定要成文并且經(jīng)過反復思考，必要時征求設計人員的意見。3) 選擇建模方法：根據(jù)目標研究結(jié)果和時間進度要求選擇Top->Down或者Down->Top的方式建模。4)

5、編寫模型代碼。5)測試：可能會占到建模的一半甚至是以上的時間。先后寫測試力的優(yōu)缺點：先寫測試力，針對研究目標，更改代碼也會是針對目標而改的，考慮會比較全面。后寫測試力，往往會變成對所寫代碼的測試，不是針對研究目標。6 .建模方法按照優(yōu)先級從低到高排列：1) 參量化模板(template)：Saber庫中有很多通用模板，更改其中有把握更改的參數(shù)，如改變名為model的參數(shù)。通用模板的default參數(shù)能夠cover大多數(shù)應用情況?；驹瓌t：能夠理解的參數(shù)，能夠獲得數(shù)據(jù)的參數(shù)去修改，沒有把握的不要動。2) 宏模型(macro-modeling)：hierarchical層次化建模，利用MAST和N

6、etlist方式建模3)語言：在上述兩種建模方式都無效的情況下才考慮用語言建模，主要用到MAST、VHDL-AMSSaberHDLC、Fortran等4)至于Saber與其它工具的接口、協(xié)同只能算是技巧7 .MAST語言1) template結(jié)構(gòu)header部分：templatenamepinlist=parameterslist定義pin定義digitalstatelogic_4electricalparameter聲明number：Saber的數(shù)據(jù)全是浮點型的，沒有整數(shù)的概念enum：枚舉類型struct:結(jié)構(gòu)體，可以包含任意類型的元素string:字符串類型array:數(shù)組，其實是數(shù)字數(shù)

7、組body部分：(Netlist:網(wǎng)表引用parameters:number和string類型的變量在此處賦值values：定義成val類型的變量在此處賦值when：數(shù)字邏輯control_section：步長和初始化equations:var類型的變量在此處計算網(wǎng)表語法：primitive.refp:n1m:n2=參數(shù)定義如：l.l1p:n2m:n3=l=1mc.c1p:n3m:0=c=10nSaber中g(shù)nd為02) parameters：不參與仿真，為仿真做準備，處理template的header中定義的參數(shù),在Netlist時會有變化，做alter命令時會有變化，在simulation

8、時沒有變化。3) values：做analog信號的處理，在仿真時才有變化，val類型變量在此計算4) when：做digital信號的處理，可以有多個，不分先后順序5) control_section:起到配置作用、應力信息設置、報告錯誤信息等6) equations:解算var類型的變量三、測試1 .模型測試：測試目標：系統(tǒng)、模塊、器件2 .分類1)功能測試：要做功能測試，首先需要了解Saber軟件都有哪些分析功能。TR:瞬態(tài)分析DC:一說工作點分析，又說是穩(wěn)態(tài)分析，即所有器件的響應都達到穩(wěn)定狀態(tài)時電路中器件的參數(shù)，如電容達到穩(wěn)態(tài)時，其中的電流為零，電感兩端的電壓為零。在做直流分析時需要注

9、意，某些系統(tǒng)可能做DC分析沒有意義。DC認為是系統(tǒng)穩(wěn)定后的狀態(tài)。AC:基本理論是輸入信號的賦值對系統(tǒng)輸出的影響可以忽略不計Dt:相當于對vsource按照步長的變化做vary分析，每一次變步長都是進行DC分析sensitivity:后處理noise：只針對噪聲的信號特征、頻率和能量特征進行分析distort:非周期信號頻域特征分析pz:在控制系統(tǒng)中使用，做傳遞函數(shù)分析，一般在電路器件級分析很少用two-port:端口的阻抗、跨導特性分析mc：stress：瞬時功耗超限不會帶來嚴重的影響，但是最好不要出現(xiàn)，平均功耗超限會導致嚴重的問題FMEA:Fourier：周期信號的時-頻變換，考察信號質(zhì)量、諧波特性FFT:非周期信號的頻域特性分析IFFT:反變換Pareto：容差分析的后處理方法，不算做分析2）特性測試根據(jù)編寫的測試應力進行各項特性測試，如幅頻特性、相頻特性等，其中要定義好誤差項。3）失效測試（故障）：在多數(shù)情況下由于缺乏數(shù)據(jù)支持一一轉(zhuǎn)向?qū)嵨餃y試，如果建模能夠做到circuit級，則由于晶體管的模型準確詳細，能夠反應失效導致的結(jié)果，進行失效測試將是可行的。前兩個測試是標準的，失效測試可做可不做，能做最好