多線程向量處理器驗(yàn)證技術(shù)研究.pdf

1、在當(dāng)前微處理器的設(shè)計(jì)規(guī)模不斷擴(kuò)大、設(shè)計(jì)復(fù)雜度越來(lái)越高、工藝尺寸越來(lái)越小、市場(chǎng)淘汰速度加快的發(fā)展趨勢(shì)下，微處理器功能驗(yàn)證占據(jù)了微處理器設(shè)計(jì)開發(fā)一半以上的時(shí)間，成為設(shè)計(jì)開發(fā)周期中的瓶頸。微處理器種類繁多、架構(gòu)各異、指令集各不相同，帶來(lái)了處理器設(shè)計(jì)中驗(yàn)證周期長(zhǎng)、效率低、覆蓋率難以保證、定位調(diào)試錯(cuò)誤難度大等問(wèn)題。本文所研究的微處理器是一款多線程向量（Multi-Threading Vector，MTV）高性能微處理器，具有規(guī)模大、復(fù)雜度高的特點(diǎn)

2、。本文提出了一套多層次、多平臺(tái)、廣覆蓋的驗(yàn)證方法 MLPC（multi-level，multi-platform，wide-coverage)，針對(duì)該MTV處理器進(jìn)行快速有效的功能驗(yàn)證，提高設(shè)計(jì)開發(fā)效率，縮短設(shè)計(jì)周期。
　　在模塊級(jí)驗(yàn)證、核級(jí)驗(yàn)證、系統(tǒng)級(jí)仿真驗(yàn)證中，本文的創(chuàng)新點(diǎn)和主要工作如下：
　　1.結(jié)合 MTV處理器設(shè)計(jì)的特點(diǎn)及需求，探討了模擬驗(yàn)證、系統(tǒng)級(jí)驗(yàn)證等高性能處理器設(shè)計(jì)的驗(yàn)證方法，+提出了一種多層次的驗(yàn)證方法以解

3、決其周期性長(zhǎng)、效率低的問(wèn)題。
　　2.對(duì)MTV處理器設(shè)計(jì)中指令調(diào)度的核心部件 DEC模塊驗(yàn)證技術(shù)進(jìn)行了闡述，并基于覆蓋率統(tǒng)計(jì)分析的大量偽隨機(jī)輸入，彌補(bǔ)了完全隨機(jī)生成的缺點(diǎn)；針對(duì)處理器核主要對(duì)其功能正確性進(jìn)行定向測(cè)試和隨機(jī)測(cè)試最終實(shí)現(xiàn)高覆蓋率。
　　3.先后搭建了多個(gè)基于Palladium仿真器的系統(tǒng)級(jí)仿真加速環(huán)境，滿足了各種系統(tǒng)測(cè)試需求；對(duì)Flash模型進(jìn)行了優(yōu)化，將仿真效率提高了40倍左右；綜合使用多種調(diào)試手段，開發(fā)了大規(guī)