基于PowerPC的浮點(diǎn)單元設(shè)計(jì)與驗(yàn)證.pdf

1、從第一款微處理器誕生至今，微處理器的浮點(diǎn)處理在航空航天、多媒體、信號(hào)處理等諸多領(lǐng)域有著越來(lái)越廣泛的應(yīng)用，與人類日常生活和工作的聯(lián)系越來(lái)越緊密。伴隨科技的日益進(jìn)步，人們對(duì)浮點(diǎn)處理的要求也越來(lái)越高，這就對(duì)浮點(diǎn)單元的設(shè)計(jì)與驗(yàn)證提出了更大挑戰(zhàn)。為此，論文重點(diǎn)進(jìn)行基于PowerPC的浮點(diǎn)單元的設(shè)計(jì)與驗(yàn)證。
　　詳細(xì)分析了PowerPC發(fā)展背景和應(yīng)用范圍、浮點(diǎn)單元的功能需求和組成機(jī)理，重點(diǎn)剖析了被廣泛使用的、對(duì)計(jì)算機(jī)浮點(diǎn)數(shù)格式進(jìn)行嚴(yán)格定義的I

2、EEE754標(biāo)準(zhǔn)，深入研究了浮點(diǎn)數(shù)的相關(guān)算法，為設(shè)計(jì)和研究奠定理論基礎(chǔ)；基于IEEE754標(biāo)準(zhǔn)和浮點(diǎn)數(shù)算法，給出了浮點(diǎn)單元的整體邏輯結(jié)構(gòu)，完成了流水線、存儲(chǔ)器尋址、浮點(diǎn)指令、浮點(diǎn)異常與處理等浮點(diǎn)單元主要模塊和功能的原理分析、詳細(xì)設(shè)計(jì)和關(guān)鍵的代碼實(shí)現(xiàn)；依靠軟硬件協(xié)同驗(yàn)證的方法，通過(guò)Synopsys DVE E-2011.03仿真軟件進(jìn)行模塊級(jí)驗(yàn)證，搭建了驗(yàn)證平臺(tái)，經(jīng)過(guò)細(xì)致的驗(yàn)證項(xiàng)策劃，并借助NC_verilog仿真軟件進(jìn)行虛擬平臺(tái)級(jí)驗(yàn)證，