發(fā)布時間：2018-10-15 17:34

【摘要】：隨著處理器制造工藝尺寸的縮小，處理器的設計規(guī)模越來越大，設計的復雜度隨之增加，大規(guī)模的設計對處理器的功能驗證提出了挑戰(zhàn)。據(jù)統(tǒng)計，功能驗證會占據(jù)設計周期60%-80%的時間，如何快速高效的驗證成為了處理器設計首要解決的問題。 通用處理器的功能驗證的主要方法有兩種：一是模擬驗證，二是形式化驗證。由于形式化驗證方法受到設計規(guī)模所限，在實際的工業(yè)化應用中，主要采用是模擬驗證方法。本文對通用處理器的功能驗證方法進行了研究，完成了Godson-D處理器的指令在實地址模式和虛擬8086模式下的功能驗證。本文的主要工作如下： 1、對處理器的指令和處理器的系統(tǒng)結構進行了深入的研究，完成了處理器在不同操作模式上的轉換。 2、分析處理器復雜指令的功能，執(zhí)行過程以及在實地址操作模式和虛擬8086操作模式下運行的特點以及過程，提取指令的功能覆蓋點，針對提出的覆蓋點編寫測試用例（test_case），采用模擬驗證的方法，使功能覆蓋率和代碼覆蓋率都達到100%。 3、分析處理器系統(tǒng)指令的功能以及指令運行時處理器中各寄存器的變化，并參考Intel指令手冊，編寫測試用例，并通過覆蓋率分析來調整測試用例的編寫，，最終使它的覆蓋率達到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.
【學位授予單位】：湘潭大學
【學位級別】：碩士
【學位授予年份】：2012
【分類號】：TP332

【參考文獻】

相關期刊論文 前2條

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

2 何軍;王飆;;多核處理器的結構設計研究[J];計算機工程;2007年16期

相關碩士學位論文 前2條

1 蔡鐘;媒體處理器的驗證平臺研究[D];浙江大學;2005年

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

本文編號：2273290