【摘要】：隨著處理器制造工藝尺寸的縮小，處理器的設(shè)計(jì)規(guī)模越來越大，設(shè)計(jì)的復(fù)雜度隨之增加，大規(guī)模的設(shè)計(jì)對(duì)處理器的功能驗(yàn)證提出了挑戰(zhàn)。據(jù)統(tǒng)計(jì)，功能驗(yàn)證會(huì)占據(jù)設(shè)計(jì)周期60%-80%的時(shí)間，如何快速高效的驗(yàn)證成為了處理器設(shè)計(jì)首要解決的問題。 通用處理器的功能驗(yàn)證的主要方法有兩種：一是模擬驗(yàn)證，二是形式化驗(yàn)證。由于形式化驗(yàn)證方法受到設(shè)計(jì)規(guī)模所限，在實(shí)際的工業(yè)化應(yīng)用中，主要采用是模擬驗(yàn)證方法。本文對(duì)通用處理器的功能驗(yàn)證方法進(jìn)行了研究，完成了Godson-D處理器的指令在實(shí)地址模式和虛擬8086模式下的功能驗(yàn)證。本文的主要工作如下： 1、對(duì)處理器的指令和處理器的系統(tǒng)結(jié)構(gòu)進(jìn)行了深入的研究，完成了處理器在不同操作模式上的轉(zhuǎn)換。 2、分析處理器復(fù)雜指令的功能，執(zhí)行過程以及在實(shí)地址操作模式和虛擬8086操作模式下運(yùn)行的特點(diǎn)以及過程，提取指令的功能覆蓋點(diǎn)，針對(duì)提出的覆蓋點(diǎn)編寫測(cè)試用例（test_case），采用模擬驗(yàn)證的方法，使功能覆蓋率和代碼覆蓋率都達(dá)到100%。 3、分析處理器系統(tǒng)指令的功能以及指令運(yùn)行時(shí)處理器中各寄存器的變化，并參考Intel指令手冊(cè)，編寫測(cè)試用例，并通過覆蓋率分析來調(diào)整測(cè)試用例的編寫，，最終使它的覆蓋率達(dá)到100%。
[Abstract]:With the reduction of the size of the processor manufacturing process, the design scale of the processor becomes larger and larger, and the complexity of the design increases. The large-scale design challenges the functional verification of the processor. According to statistics, functional verification will occupy 60% to 80% of the time of the design cycle, how to quickly and efficiently verify has become the most important problem in processor design. There are two main methods for functional verification of general purpose processors: one is simulation verification, the other is formal verification. Because the formal verification method is limited by the design scale, the simulation verification method is mainly used in the practical industrial application. In this paper, the function verification method of general purpose processor is studied, and the function verification of Godson-D processor instruction in real address mode and virtual 8086 mode is completed. The main work of this paper is as follows: 1. The instruction of the processor and the system structure of the processor are deeply studied, and the conversion of the processor in different operation modes is completed. 2. The function of analyzing the complex instruction of the processor is analyzed. The execution process, the characteristics and procedures of running in real address operation mode and virtual 8086 operation mode, extract the functional coverage points of instructions, write test cases (test_case) for the proposed coverage points, and adopt the method of simulation verification. Make the function coverage and code coverage reach 100. 3, analyze the function of the processor system instruction and the change of the registers in the processor while the instruction is running, and refer to the Intel instruction manual, write the test case, And through the coverage analysis to adjust the writing of test cases, and finally make its coverage up to 100.
【學(xué)位授予單位】：湘潭大學(xué)
【學(xué)位級(jí)別】：碩士
【學(xué)位授予年份】：2012
【分類號(hào)】：TP332

【參考文獻(xiàn)】

相關(guān)期刊論文 前2條

1 于海;樊曉椏;張盛兵;;32位RISC微處理器FPGA驗(yàn)證平臺(tái)設(shè)計(jì)與實(shí)現(xiàn)[J];計(jì)算機(jī)工程與應(yīng)用;2007年05期

2 何軍;王飆;;多核處理器的結(jié)構(gòu)設(shè)計(jì)研究[J];計(jì)算機(jī)工程;2007年16期

相關(guān)碩士學(xué)位論文 前2條

1 蔡鐘;媒體處理器的驗(yàn)證平臺(tái)研究[D];浙江大學(xué);2005年

2 林明煌;多核處理器原型驗(yàn)證平臺(tái)的研究與實(shí)現(xiàn)[D];北京交通大學(xué);2008年

本文編號(hào)：2273290