基于PowerPC的浮點單元設計與驗證.pdf

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

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