FT-MX DSP指令派發(fā)設(shè)計(jì)與指控通路的功能驗(yàn)證.pdf

1、隨著信息技術(shù)的深入發(fā)展，研發(fā)自主可控的高性能微處理器具有非常重要的意義。FT-MX處理器是國(guó)防科技大學(xué)微電子所自主研發(fā)的一款高性能低功耗的32位多核DSP芯片，芯片采用VLIW結(jié)構(gòu)設(shè)計(jì)，支持16/32位變長(zhǎng)指令集，每周期最大可以支持11條標(biāo)/向量指令混合并行發(fā)射。由于 FT-MX每周期指令流出數(shù)較大，并且支持可變長(zhǎng)指令集的設(shè)計(jì)，使得設(shè)計(jì)實(shí)現(xiàn)高效的指令派發(fā)部件的難度增大。隨著集成電路規(guī)模的越來(lái)越大，設(shè)計(jì)復(fù)雜度越來(lái)越高，集成電路的驗(yàn)證難度因

2、此也越來(lái)越大，為了解決集成電路設(shè)計(jì)復(fù)雜度與驗(yàn)證能力之間的不匹配，集成電路驗(yàn)證技術(shù)已經(jīng)成為研究的重點(diǎn)，得到了越來(lái)越多的重視。
　　本文以高性能FT-MX處理器開(kāi)發(fā)研制為背景，主要的工作內(nèi)容包括以下幾點(diǎn)：
　　1）針對(duì)TI公司的DSP的示例數(shù)字信號(hào)領(lǐng)域的程序進(jìn)行模擬，結(jié)合模擬結(jié)果以及分析結(jié)果，對(duì)FT-MX處理器的指令集進(jìn)行了設(shè)計(jì)與優(yōu)化，并對(duì)FT-MX處理器指令集進(jìn)行了性能評(píng)估；
　　2）結(jié)合FT-MX處理器的VLIW結(jié)構(gòu)與

3、處理器的指令集設(shè)計(jì)，實(shí)現(xiàn)了高效的并行指令派發(fā)部件設(shè)計(jì)，并對(duì)指令派發(fā)部件進(jìn)行性能評(píng)估；
　　3）對(duì)FT-MX處理器指控通路進(jìn)行功能點(diǎn)總結(jié)，搭建基于模擬的系統(tǒng)級(jí)驗(yàn)證平臺(tái)，對(duì)指控通路進(jìn)行了模擬驗(yàn)證，并分析了模擬驗(yàn)證結(jié)果。對(duì) FT-MX處理器指控通路進(jìn)行形式驗(yàn)證，采用等價(jià)性檢查驗(yàn)證技術(shù)，將等價(jià)性檢查與斷言驗(yàn)證相結(jié)合，約束驗(yàn)證空間，建立黃金模型，搭建等價(jià)性檢查的驗(yàn)證平臺(tái)，對(duì)指控通路進(jìn)行等價(jià)性檢查。對(duì)兩種驗(yàn)證進(jìn)行分析與對(duì)比，為集成電路功能驗(yàn)證