新聞中心

EEPW首頁 > 嵌入式系統(tǒng) > 設(shè)計(jì)應(yīng)用 > 基于82C52功能仿真驗(yàn)證的研究

基于82C52功能仿真驗(yàn)證的研究

作者: 時(shí)間:2011-02-22 來源:網(wǎng)絡(luò) 收藏

本文引用地址:http://2s4d.com/article/172980.htm

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

  1 引 言

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

  2 驗(yàn)證方案的確定

  本次設(shè)計(jì)的驗(yàn)證方案是根據(jù)單片機(jī)對外部串口電路的控制來實(shí)現(xiàn)的,驗(yàn)證方案的基本框圖如圖1所示。

82C52測試平臺

圖1 82C52測試平臺

  3 仿真所要準(zhǔn)備的文件

  RTL(Pre sire):testbench(仿真激勵(lì)),Design(被仿真的設(shè)計(jì))DC_ netlist:testbench(仿真激勵(lì)),Design(被仿真的設(shè)計(jì)),saf(延時(shí)信息,由DC寫出),SimulatiONlibrary

  Astro_ netlist(post sim):testbench(仿真激勵(lì)),Design(被仿真的設(shè)計(jì)),Sdf(延時(shí)信息,由 寫出),Simulation library

  仿真的主要工具是VCS,主要命令是:>VC$testbeneh.v design.v—RI—M,同時(shí)還要進(jìn)行代碼覆蓋率的分析。由于在最開始的時(shí)候?qū)懙膖estbench覆蓋率一定不全,所以需要后來的不斷完善來提高代碼覆蓋率以達(dá)到設(shè)計(jì)要求。用VCS做代碼覆蓋率分析的主要命令是:在編譯時(shí)加入可選項(xiàng)一cmline+tsl+FSM+eond,這是四種覆蓋率,可以根據(jù)需要只選其中的一個(gè)或幾個(gè);VCS—cm—PP gui察看覆蓋率的結(jié)果。

  4 testbench的編寫

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


上一頁 1 2 3 下一頁

關(guān)鍵詞: 仿真

評論


相關(guān)推薦

技術(shù)專區(qū)

關(guān)閉