郭斯彥臺灣大學：電子工程學研究所陳冠霖Chen, Kuan-LinKuan-LinChen2007-11-272018-07-102007-11-272018-07-102006http://ntur.lib.ntu.edu.tw//handle/246246/57275隨著硬體設計愈來愈複雜, 以及晶片下線成本愈來愈昂貴, 驗證的重要性不可同日而語。使用觀察波形的方法來尋找設計中的錯誤是相當耗費人力資源的, 而且與迅速推出市場的目標相違背。 本論文描述一些驗證技巧，包含transaction-based, assertion-based, simulation-based, coverage-based 等等的方法來建構一個驗證環境, 用以確定此設計是否符合工程師們的期望與規格書的規定。此外, 我們使用Verilog程式語言以及驗證語言的擴增工具, 來模擬出功能性匯流排的行為以及連線監視器，不但可以讓待測的硬體與我們的驗證環境整合上更容易, 撰寫測試程式也將更迅速。 PCI Express是一個高速串流匯流排協定, 已漸漸成為工作站或個人電腦的企業新趨勢, 將以其高速, 點對點的特性取代舊式的共享平行匯流排。在新的2.0規格中, 連線速度倍增, 挑戰性也增加, 我將會建構一個針對PCI Express 2.0的驗證環境, 根據相當高的測試涵蓋率, 來讓硬體工程師與驗證工程師對他們的設計更具信心。As the complexity of IC designs and price to tape-out increase, verification has become a vital step in the design flow. Debugging in a large and complicated system by waveform is both time and human resource consuming. Therefore, the time to market will increase. This thesis introduces several verification skills, which includes transactionbased, assertion-based, simulation-based and coverage-based methods. These skills not only can be used to develop a verification environment, but also confirm the design is fit in with designer's hope and the requirement of specification. Furthermore, we use Verilog with Verification Language Extension (VLE) toolkits to model bus functional model (or so-called transaction verification model) and link monitor which make Design Under Test (DUT) integration easier and test case development more quickly. PCI Express is a high-speed serial bus protocol and becomes an industry trend on work stations or personal computers. This high-speed point-topoint serial bus will soon replace current legacy shared parallel buses. In [2], the speed per lane/second/side is doubled and has more challenges. The goal of this thesis is to create a test environment which is aimed at PCI Express 2.0 platform. According to the experimental results, the functional coverage is very high. Design engineers and verification engineers can have more confidence in their design after verifying their design using this verification tool.Chapter 1 Introduction . . . . . . . . . . . . . . . . . .1 1.1 The Importance of Verification . . . . . . . . .1 1.2 Popular Verification Methodology. . . . . . .4 1.3 PCI Xactor. . . . . . . . . . . . . . . . . . . . . . 5 Chapter 2 PCI-Express 2.0 System Overview . . 8 2.1 A Brief introduction to PCI-Express platform. . . . . . . . . . . . . . . . . . . . . . . . .8 2.1.1 PCI Express Fabric Topology . . . . . . . 10 2.1.2 PCI Express Layers . . . . . . . . . . . . . . 12 2.2 The enhanced feature and main difference of PCI-Express 2.0. . . . . . . . . . .13 2.2.1 Configuration For Trusted Software Environments . . . . . . . . . . . . .. . 13 2.2.2 Access control services. . . . . . . . . . . 15 2.2.3 Physical Layer and PIPE enhancement. 18 Chapter 3 Verification Environment and methodology . . . . . . . . . . . . . . . . . . . 23 3.1 Test wizard Toolkit . . . . . . . . . . . . . . . 23 3.1.1 Record Functions . . . . . . . . . . . . . . . 24 3.1.2 List Functions . . . . . . . . . . . . . . . . . . 26 3.2 Transaction-level Verification. . . . . . . . .28 3.3 VIP Architecture. . . . . . . . . . . . . . . . . . 29 3.4 Link Monitor . . . . . . . . . . . . . . . . . . . . 34 3.4.1 Packet Tracker Files. . . . . . . . . . . . . . 35 3.4.2 Symbol Tracker Files. . . . . . . . . . . . . .36 Chapter 4 Implementation of PCI-Express 2.0 BFM and Compliance Test Suits. . . . . . . . . . . . . . . . . . . . . . . .38 4.1 Component Models . . . . . . . . . . . . . . . .38 4.1.1 End Point . . . . . . . . . . . . . . . . . . 38 4.1.2 Root Complex. . . . . . . . . . . . . . . . . 40 4.1.3 Switch . . . . . . . . . . . . . . . . . . . 41 4.2 Improvement in PCI Express 2.0 . . . . . .42 4.3 Compliance tests . . . . . . . . . . . . . . . . . 44 4.4 DUT Integration. . . . . . . . . . . . . . . . . . 45 Chapter 5 Conclusion and Future Works . . . 48 5.1 Experimental Results . . . . . . . . . . . . . . 48 5.1.1 Checklist item. . . . . . . . . . . . . . . . . .48 5.1.2 Functional Coverage . . . . . . . . . . . . .49 5.2 Conclusion . . . . . . . . . . . . . . . . . . . . .49 5.3 Future Work. . . . . . . . . . . . . . . . . . . . 50 References . . . . . . . . . . . . . . . . . . . . . . . 51576549 bytesapplication/pdfen-US驗證環境序列匯流排verification environmentserial busthesishttp://ntur.lib.ntu.edu.tw/bitstream/246246/57275/1/ntu-95-R93943084-1.pdf