Repository logo
  • English
  • 中文
Log In
Have you forgotten your password?
  1. Home
  2. College of Electrical Engineering and Computer Science / 電機資訊學院
  3. Electronics Engineering / 電子工程學研究所
  4. Verification Environment for I/O Virtualization
 
  • Details

Verification Environment for I/O Virtualization

Date Issued
2008
Date
2008
Author(s)
Wang, Yang-Song
URI
http://ntur.lib.ntu.edu.tw//handle/246246/189071
Abstract
With the rapidly progressing Integrated Circuit (IC) technology, the functional verification becomes the bottleneck of development for Application-Specific Integrated Circuits (ASIC). Since a complete verification methodology, such as formal verification, is very difficult to apply in real-life cases, simulation-based verification is one of the most frequently used methodologies for the functional verification. Most designers agree that as much as 70 percent of the design cycle is consumed by the functional verification. Therefore, an effective verification method is critical for maintaining the time to market and reducing design cost. This thesis illustrates a Verification Intellectual Property (VIP) method. The characteristics of this VIP are re-useable to build engineers'' confidence in their designs. This VIP is composed of a transaction-based method to build Bus Function Models (BFM), a simulation-based method to simulate the function of the design with the testbenches and an assertion-based method to calculate the function coverage. For massive data transaction simulations, the VIP described uses Programming Language Interface (PLI) to better manage memory usage and effectively reduce simulation time. Using Verilog and PLI to implement BFM is convenient for engineers to maintain it without studying other language and economical to need no other simulator. With the gradually increasing complexity and powerful performance of thentegrated Circuit (IC), more and more engineers pay attention to increase hardware resource utilization, and virtualization technologies is one of these approaches. Recently, Peripheral Component Interconnect Special Interest Group (PCI-SIG.) announced the release of I/O Virtualization (IOV) based on the Peripheral Component Interconnect Express (PCI Express). This paper shows a VIP method to set up the verification environment for an I/O Virtualization (IOV) enabled system. Since verification engineers and hardware designers can work at the same time and the integration into the described verification environment is simple, design teams can reduce the time to market and their development costs. The VIP supports designers for a user-friendly verification environment.
Subjects
Verification
Virtualization
Type
thesis
File(s)
Loading...
Thumbnail Image
Name

ntu-97-R95943079-1.pdf

Size

23.32 KB

Format

Adobe PDF

Checksum

(MD5):f127ad782baa9fde3aa8e0679efb8cf2

臺大位居世界頂尖大學之列,為永久珍藏及向國際展現本校豐碩的研究成果及學術能量,圖書館整合機構典藏(NTUR)與學術庫(AH)不同功能平台,成為臺大學術典藏NTU scholars。期能整合研究能量、促進交流合作、保存學術產出、推廣研究成果。

To permanently archive and promote researcher profiles and scholarly works, Library integrates the services of “NTU Repository” with “Academic Hub” to form NTU Scholars.

總館學科館員 (Main Library)
醫學圖書館學科館員 (Medical Library)
社會科學院辜振甫紀念圖書館學科館員 (Social Sciences Library)

開放取用是從使用者角度提升資訊取用性的社會運動,應用在學術研究上是透過將研究著作公開供使用者自由取閱,以促進學術傳播及因應期刊訂購費用逐年攀升。同時可加速研究發展、提升研究影響力,NTU Scholars即為本校的開放取用典藏(OA Archive)平台。(點選深入了解OA)

  • 請確認所上傳的全文是原創的內容,若該文件包含部分內容的版權非匯入者所有,或由第三方贊助與合作完成,請確認該版權所有者及第三方同意提供此授權。
    Please represent that the submission is your original work, and that you have the right to grant the rights to upload.
  • 若欲上傳已出版的全文電子檔,可使用Open policy finder網站查詢,以確認出版單位之版權政策。
    Please use Open policy finder to find a summary of permissions that are normally given as part of each publisher's copyright transfer agreement.
  • 網站簡介 (Quickstart Guide)
  • 使用手冊 (Instruction Manual)
  • 線上預約服務 (Booking Service)
  • 方案一:臺灣大學計算機中心帳號登入
    (With C&INC Email Account)
  • 方案二:ORCID帳號登入 (With ORCID)
  • 方案一:定期更新ORCID者,以ID匯入 (Search for identifier (ORCID))
  • 方案二:自行建檔 (Default mode Submission)
  • 方案三:學科館員協助匯入 (Email worklist to subject librarians)

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science