請用此 Handle URI 來引用此文件：
http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/33775完整後設資料紀錄
| DC 欄位 | 值 | 語言 |
|---|---|---|
| dc.contributor.advisor | 郭斯彥 | |
| dc.contributor.author | Kuan-Lin Chen | en |
| dc.contributor.author | 陳冠霖 | zh_TW |
| dc.date.accessioned | 2021-06-13T05:45:56Z | - |
| dc.date.available | 2008-07-25 | |
| dc.date.copyright | 2006-07-25 | |
| dc.date.issued | 2006 | |
| dc.date.submitted | 2006-07-11 | |
| dc.identifier.citation | [1] Intel Corporation, “PHY Interface for the PCI Express Architecture Draft Version 1.86,” 2005.
[2] PCI-SIG, “PCI Express 2.0 Base Specification Revision 0.7,” November 2005. [3] Avery Design System, Inc, “PCI-Xactor PCI Express Users Guide,” July 25, 2005. [4] Ting-Chun Huang, “A Functional Verification Environment for Advanced Switching Architecture,” Master Thesis, Graduate Institute of Electronics Engineering, National Taiwan University, 2004. [5] Chien-Chih Yu, “System Level Assertion-Based Verification Environment for PCI/PCI-X and PCI-Express,” Master Thesis, Graduate Institute of Electronics Engineering, National Taiwan University, 2004. [6] Chih-Neng Chung, “Implementations of Bus Functional Models for the PCI Express System,” Master Thesis, Graduate Institute of Electronics Engineering, National Taiwan University, 2004. [7] S. K. Dhawan, Life Member IEEE, Physics Department Yale University, New Haven, CT 06520, USA “Introduction to PCI Express - A New High Speed Serial Data Bus,” IEEE Nuclear Science Symposium Conference Record, 2005. [8] M. Aguilar, A. Veloz, M. Gumin CINVESTAV del IPN, Unidad Guadalajara Prolongacibn Lopez Mateos Sur 590, Guadalajara, Jalisco, Mexico“Proposal of Implementation of the “Data Link Layer” of PCIExpress,”1 st International Conference on Electrical and Electronics Engineering, 2004. [9] F. Sforza, L. Battu, M. Brunelli, A. Castelnuovo, M. Magnaghi, “A“Design for Verification” Methodology,” Quality Electronic Design, International Symposium, pp. 50–55, 2001. [10] M. Kudlugi, S. Hassoun, C. Selvidge, D. Pryor, “A Transaction-Based Unified Simulation/Emulation Architecture for Functional Verification,”Design Automation Conference, 2001. Proceedings, pp. 623–628, 2001. [11] A. Banerjee, B. Pal, C. Kamarapu, P. Dasgupta. P. P. Chakrabarti and M. Jha “Assertion Based Verification: Have I written enough properties?,”IEEE INDIA ANNUAL CONFERENCE 2004., 2004. [12] D. S. Brahme, S. Cox, J. Gallo, M. Glasser,W. Grundmann,C.N. Ip,W. Paulsen, J. L. Pierce, J. Rose, D. Shea, K. Whiting, “The Transaction-Based Verification Methodology,” Cadence Berkeley Labs, Technical Report # CDNL-TR-2000-0825, August 2000. [13] R. Jindal, K. Jain, “Verification of Transaction-Level SystemC models using RTL Testbenches,” The First ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2003. [14] C. M. Chang, H. D. Foster, “Property Specification: The key to an Assertion-Based Verification Platform,” http://www.demosondemand.com/verplex/verplex001 011/education/abv.pdf, 2003. [15] K. Albin, “Nuts and Bolts of Core and SoC Verification,” Design Automation Conference, 2001. Proceedings, pp. 249–252, 2001. [16] A. Evans, A. Silburt, G. Vrckovnik, T. Brown, M. Dufresne, G. Hall, T. Ho, Y. Liu, “Functional Verification of Large ASICs,” Design Automation Conference, 1998. [17] MindShare, Inc , R. Budruk, D. Anderson, T. Shanley “PCI Express System Architecture,” IAddison Wesley, September 04, 2003. [18] W. K. Lam, “Hardware Design Verification: Simulation and Formal Method-Based Approaches,” Prentice Hall PTR, February 2005. [19] PCI-SIG Official Website (http://www.pcisig.com), all ducuments of PCI-SIG can be found here. | |
| dc.identifier.uri | http://tdr.lib.ntu.edu.tw/jspui/handle/123456789/33775 | - |
| dc.description.abstract | 隨著硬體設計愈來愈複雜, 以及晶片下線成本愈來愈昂貴, 驗證的重要性不可同日而語。使用觀察波形的方法來尋找設計中的錯誤是相當耗費人力資源的, 而且與迅速推出市場的目標相違背。
本論文描述一些驗證技巧，包含transaction-based, assertion-based, simulation-based, coverage-based 等等的方法來建構一個驗證環境, 用以確定此設計是否符合工程師們的期望與規格書的規定。此外, 我們使用Verilog程式語言以及驗證語言的擴增工具, 來模擬出功能性匯流排的行為以及連線監視器，不但可以讓待測的硬體與我們的驗證環境整合上更容易, 撰寫測試程式也將更迅速。 PCI Express是一個高速串流匯流排協定, 已漸漸成為工作站或個人電腦的企業新趨勢, 將以其高速, 點對點的特性取代舊式的共享平行匯流排。在新的2.0規格中, 連線速度倍增, 挑戰性也增加, 我將會建構一個針對PCI Express 2.0的驗證環境, 根據相當高的測試涵蓋率, 來讓硬體工程師與驗證工程師對他們的設計更具信心。 | zh_TW |
| dc.description.abstract | 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. | en |
| dc.description.provenance | Made available in DSpace on 2021-06-13T05:45:56Z (GMT). No. of bitstreams: 1 ntu-95-R93943084-1.pdf: 576549 bytes, checksum: 24efb1cb28f0e00604a94271296bdb7a (MD5) Previous issue date: 2006 | en |
| dc.description.tableofcontents | 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 . . . . . . . . . . . . . . . . . . . . . . . 51 | |
| dc.language.iso | en | |
| dc.title | 高速序列匯流排系統之驗證環境 | zh_TW |
| dc.title | Verification Environment of High-Speed Serial Bus System | en |
| dc.type | Thesis | |
| dc.date.schoolyear | 94-2 | |
| dc.description.degree | 碩士 | |
| dc.contributor.oralexamcommittee | 張耀文,黃鐘揚,陳英一,呂學坤 | |
| dc.subject.keyword | 驗證環境,序列匯流排, | zh_TW |
| dc.subject.keyword | verification environment,serial bus, | en |
| dc.relation.page | 53 | |
| dc.rights.note | 有償授權 | |
| dc.date.accepted | 2006-07-14 | |
| dc.contributor.author-college | 電機資訊學院 | zh_TW |
| dc.contributor.author-dept | 電子工程學研究所 | zh_TW |
| 顯示於系所單位： | 電子工程學研究所 | |
文件中的檔案：
| 檔案 | 大小 | 格式 | |
|---|---|---|---|
| ntu-95-1.pdf 目前未授權公開取用 | 563.04 kB | Adobe PDF |
系統中的文件，除了特別指名其著作權條款之外，均受到著作權保護，並且保留所有的權利。