微處理器驗(yàn)證平臺(tái)的實(shí)現(xiàn).pdf

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

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