基于82C52功能仿真驗證的研究

摘 要：首先介紹了利用仿真工具進行電路功能仿真驗證的過程與方法，以及仿真方案的確定，并以82C52為例詳細闡述了仿真驗證中激勵文件的編寫和對82C52進行功能驗證的具體步驟。最后簡單介紹了82C52的功能及其中各種寄存器的作用以及對寄存器的編程。

　　1 引 言

　　功能仿真主要驗證被驗證電路功能的正確性，主要分RTL級仿真與netliST的仿真。Netlist又分為DC輸出和As 輸出。由于neflist的仿真帶sdf文件(延時信息)，所以要比RTL的仿真準確，而且越到流程的后端，仿真的延時信息越真實，仿真結果越接近實際。

　　2 驗證方案的確定

　　本次設計的驗證方案是根據單片機對外部串口電路的控制來實現的，驗證方案的基本框圖如圖1所示。

圖1 82C52測試平臺

　　3 仿真所要準備的文件

　　RTL(Pre sire)：testbench(仿真激勵)，Design(被仿真的設計)DC_ netlist：testbench(仿真激勵)，Design(被仿真的設計)，saf(延時信息，由DC寫出)，SimulatiONlibrary

　　Astro_ netlist(post sim)：testbench(仿真激勵)，Design(被仿真的設計)，Sdf(延時信息，由 寫出)，Simulation library

　　仿真的主要工具是VCS，主要命令是：>VC$testbeneh．v design．v—RI—M，同時還要進行代碼覆蓋率的分析。由于在最開始的時候寫的testbench覆蓋率一定不全，所以需要后來的不斷完善來提高代碼覆蓋率以達到設計要求。用VCS做代碼覆蓋率分析的主要命令是：在編譯時加入可選項一cmline+tsl+FSM+eond，這是四種覆蓋率，可以根據需要只選其中的一個或幾個；VCS—cm—PP gui察看覆蓋率的結果。

　　4 testbench的編寫

　　把82C52與8032以及一些外圍接口電路連接在一起組成一個簡單的系統，通過匯編程序來控制82C52以達到仿真的目的。所以testbeneh的編寫也主要是完成這個簡單系統的搭建，讀取事先編好的單片機匯編指令就可以了。