微處理器驗證平臺的實現(xiàn).pdf

1、本文的研究內(nèi)容是"十五"預研課題(項目編號:41308010307)的一部分.論文著重討論了微處理器驗證平臺的設計實現(xiàn),研究成果已成功應用于航空微電子中心微處理器內(nèi)核"龍騰C1"以及基于該內(nèi)核的"龍騰S1"SoC芯片的功能驗證.本文主要的研究工作如下:1.在充分分析CISC體系結(jié)構(gòu)的基礎上,完成了"龍騰C1"處理器中定點運算單元和微程序控制器的設計和實現(xiàn).2.根據(jù)"龍騰C1"體系結(jié)構(gòu)的特點,提出了自底向上的層次式驗證策略,并制定了驗證計

2、劃.3.設計實現(xiàn)了基于隨機事務驅(qū)動的單元級驗證環(huán)境,成功應用于"龍騰C1"各功能單元的驗證,取得了100%功能覆蓋率和代碼行覆蓋率.4.提出一種基于虛擬系統(tǒng)Simics快速創(chuàng)建處理器系統(tǒng)級驗證平臺的方法,設計實現(xiàn)了"龍騰C1"系統(tǒng)級驗證平臺VMSIM.VMSIM可以模擬操作系統(tǒng)運行的外部硬件環(huán)境,而且仿真速度較傳統(tǒng)驗證環(huán)境提高了49.4倍,從而可以支持操作系統(tǒng)等大型復雜程序的仿真和調(diào)試.使用VMSIM對"龍騰C1"進行功能驗證,功能覆蓋