本文關(guān)鍵詞：基于PowerPC的浮點(diǎn)單元設(shè)計(jì)與驗(yàn)證，由筆耕文化傳播整理發(fā)布。

【摘要】：從第一款微處理器誕生至今,微處理器的浮點(diǎn)處理在航空航天、多媒體、信號(hào)處理等諸多領(lǐng)域有著越來越廣泛的應(yīng)用,與人類日常生活和工作的聯(lián)系越來越緊密。伴隨科技的日益進(jìn)步,人們對(duì)浮點(diǎn)處理的要求也越來越高,這就對(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)格定義的IEEE754標(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)證的方法,通過Synopsys DVE E-2011.03仿真軟件進(jìn)行模塊級(jí)驗(yàn)證,搭建了驗(yàn)證平臺(tái),經(jīng)過細(xì)致的驗(yàn)證項(xiàng)策劃,并借助NC_verilog仿真軟件進(jìn)行虛擬平臺(tái)級(jí)驗(yàn)證,完成了對(duì)所設(shè)計(jì)浮點(diǎn)單元的驗(yàn)證工作,所有驗(yàn)證項(xiàng)均通過,浮點(diǎn)單元的設(shè)計(jì)滿足設(shè)計(jì)要求。論文工作是對(duì)浮點(diǎn)單元設(shè)計(jì)的一次有益探索,對(duì)相關(guān)設(shè)計(jì)具有借鑒作用。
【關(guān)鍵詞】：浮點(diǎn)單元 PowerPC IEEE754標(biāo)準(zhǔn) 軟硬件協(xié)同驗(yàn)證
【學(xué)位授予單位】：西安電子科技大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2015
【分類號(hào)】：TP332
【目錄】：

• 摘要5-6
• ABSTRACT6-10
• 縮略語對(duì)照表10-14
• 第一章 緒論14-18
• 1.1 選題背景與課題研究意義14
• 1.2 國內(nèi)外研究現(xiàn)狀14-16
• 1.3 論文的主要工作及內(nèi)容安排16-18
• 第二章 IEEE754標(biāo)準(zhǔn)及浮點(diǎn)算法18-26
• 2.1 IEEE754標(biāo)準(zhǔn)18-21
• 2.1.1 浮點(diǎn)數(shù)的表示18-19
• 2.1.2 浮點(diǎn)數(shù)類型19-20
• 2.1.3 浮點(diǎn)異常20
• 2.1.4 舍入模式20-21
• 2.2 浮點(diǎn)算法21-24
• 2.2.1 浮點(diǎn)加減法21-22
• 2.2.2 浮點(diǎn)乘法22-23
• 2.2.3 浮點(diǎn)除法23-24
• 2.3 本章小結(jié)24-26
• 第三章 浮點(diǎn)單元設(shè)計(jì)26-58
• 3.1 浮點(diǎn)單元整體結(jié)構(gòu)26-27
• 3.2 流水線設(shè)計(jì)與實(shí)現(xiàn)27-33
• 3.2.1 浮點(diǎn)加減法實(shí)現(xiàn)28-30
• 3.2.2 浮點(diǎn)乘法的實(shí)現(xiàn)30-32
• 3.2.3 浮點(diǎn)除法的實(shí)現(xiàn)32-33
• 3.3 存儲(chǔ)器尋址設(shè)計(jì)與實(shí)現(xiàn)33-35
• 3.3.1 尋址方式33-34
• 3.3.2 存儲(chǔ)器尋址實(shí)現(xiàn)34-35
• 3.4 浮點(diǎn)指令規(guī)劃35-47
• 3.4.1 指令類別35-36
• 3.4.2 浮點(diǎn)加載指令36-37
• 3.4.3 浮點(diǎn)存儲(chǔ)指令37-38
• 3.4.4 浮點(diǎn)移動(dòng)指令38-39
• 3.4.5 浮點(diǎn)基本計(jì)算指令39-40
• 3.4.6 浮點(diǎn)乘加指令40-42
• 3.4.7 浮點(diǎn)舍入和轉(zhuǎn)換指令42-43
• 3.4.8 浮點(diǎn)對(duì)比指令43-44
• 3.4.9 浮點(diǎn)狀態(tài)和控制寄存器指令44-45
• 3.4.10 浮點(diǎn)指令的實(shí)現(xiàn)代碼45-47
• 3.5 浮點(diǎn)異常及處理47-54
• 3.5.1 浮點(diǎn)異常列表47-48
• 3.5.2 浮點(diǎn)異常位的設(shè)置48
• 3.5.3 使指令停止執(zhí)行的異常類型48-49
• 3.5.4 浮點(diǎn)異常處理49-52
• 3.5.5 浮點(diǎn)異常處理的實(shí)現(xiàn)代碼52-54
• 3.6 時(shí)鐘電源管理設(shè)計(jì)與實(shí)現(xiàn)54-55
• 3.6.1 休眠功能設(shè)計(jì)與實(shí)現(xiàn)54-55
• 3.6.2 休眠與喚醒代碼55
• 3.7 本章小結(jié)55-58
• 第四章 浮點(diǎn)單元仿真與驗(yàn)證58-70
• 4.1 功能驗(yàn)證介紹58
• 4.2 軟硬件協(xié)同驗(yàn)證58-59
• 4.3 模塊級(jí)驗(yàn)證59-65
• 4.3.1 驗(yàn)證環(huán)境及相關(guān)工具60
• 4.3.2 驗(yàn)證平臺(tái)搭建60-62
• 4.3.3 PLB模型62-63
• 4.3.4 模塊級(jí)驗(yàn)證項(xiàng)策劃63
• 4.3.5 仿真結(jié)果分析63-65
• 4.4 虛擬平臺(tái)級(jí)驗(yàn)證65-69
• 4.4.1 驗(yàn)證環(huán)境及相關(guān)工具66
• 4.4.2 驗(yàn)證平臺(tái)搭建66-67
• 4.4.3 虛擬平臺(tái)級(jí)驗(yàn)證項(xiàng)策劃67
• 4.4.4 仿真結(jié)果分析67-69
• 4.5 本章小結(jié)69-70
• 第五章 結(jié)束語70-72
• 參考文獻(xiàn)72-74
• 致謝74-76
• 作者簡(jiǎn)介76-77

【參考文獻(xiàn)】

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前1條

1 陳勇;基于PCI總線接口芯片的驗(yàn)證與測(cè)試[D];西安電子科技大學(xué);2010年

  本文關(guān)鍵詞：基于PowerPC的浮點(diǎn)單元設(shè)計(jì)與驗(yàn)證，，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：273956