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

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

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

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