Dissertation > Excellent graduate degree dissertation topics show

The Implementation of Coverage-Driven Functional Verification Platform

Author: JiaLiang
Tutor: YangYinTang；LiYiMing
School: Xi'an University of Electronic Science and Technology
Course: Software Engineering
Keywords: Multiple routers IP core Coverage Functional verification Verification component verification platform Specman E language
CLC: TN402
Type: Master's thesis
Year: 2011
Downloads: 31
Quote: 0
Read: Download Dissertation

Abstract


In this thesis focuses on integrated circuits developed verification techniques. With the rapid development of integrated circuit technology , increasing the size of the chip design , for more complex functions , the extension of the resulting circuit design cycle as well as logic function error incidence climbed , giving the chip development lead to greater risk . Validation throughout the development of integrated circuits is becoming more and more important , and the complexity of the design and scale increases also the validation work to gradually increase the difficulty of the current , verify that the work has been accounted for in the the LSI development of front - end design flow , to 60% -70 % of the total workload has become the bottleneck in the design and development of integrated circuits , to find efficient , viable verification method is very important . The paper first introduces the basic definition and classification of the validation . Functional verification method , direct verification method based on the HDL language , as well as the face of the object of verification methods ; advanced authentication method - based coverage -driven automated verification platform Specman Elite authentication method , use this method to verify a multiplexer reason IP core design . Thesis specman development of simulation-based verification flow . First analysis conducted on the the multiple routers agreement and detailed design specifications , the proposed circuit design and verification plan . Then extracted according to the system-level verification plan to verify that the objectives and requirements . Development steps include : 1) complete circuit design according to the design specifications and protocols , writing RTL code ; 2) development of e components of the routing circuit based on the completion of the detailed design specification , use the e language complete environment to build for its verification requirements , the development of appropriate test the joint simulation use cases , design RTL code verification . 3) regression testing , collection and analysis of the coverage , analysis of its functional coverage generated empty and filled , in order to achieve the joint coverage of all functions that can achieve the verification plan developed , that 100% functional coverage code 100% coverage.

Related Dissertations

  1. Design and Realize of Family Cleaning Robot Path-Coverage System,TP242
  2. Funcational Verification of Multifunction Vehicle Bus Controllor,TP273
  3. GIS-based broadcasting wireless coverage in Qinghai Research Resource Management System,P208
  4. Three Rivers District quantitative estimation of vegetation cover and its changing,TP79
  5. Based on Spectral Index coverage information Karst Feature Extraction,P237
  6. The Design and FPGA Verification of Embedded UART Based on VHDL/FPGA,TN47
  7. Research on the Complete Coverage Path Planning Algorithm of Mobile Robot,TP242
  8. Research on Optimal Global Path Planning for Complete Coverage with GPS Guidance on Tractor,TN967.1
  9. Analysis on Nitrogen Loss in Different Land Use Watersheds of Menglun, Xishuangbanna, Southwest China,X52
  10. The China Aviation pipe DVOR / DME navigation station signal coverage and comprehensive analysis of the flight procedures and research,V351.37
  11. A Novel Transmitter Placement Scheme for Indoor Wireless Coverage Optimization,TN929.5
  12. Research on Key Technology of TD-LTE Wireless Network Planning,TN929.5
  13. Research on Cluster-Based Coverage Scheme in Wireless Sensor Networks,TP212.9
  14. Memory Integrality Verify Oriented Cache Design,TP332
  15. Research of Fuzzing Based on Genetic Algorithm,TP311.53
  16. OVM -based functional verification of SoC system design and implementation,TN47
  17. Based on wireless sensor network target tracking algorithm,TN929.5
  18. Optimization of Indoor Wireless Communication,TN929.5
  19. Research and Realization of Atc Communication Coverage Optimization Based on Voice Singal Voter,TN914
  20. Mobile Communication Research and Implementation of indoor coverage systems,TN929.5
  21. High-speed railway and tunnel wireless coverage solutions,TN929.5

CLC: > Industrial Technology > Radio electronics, telecommunications technology > Microelectronics, integrated circuit (IC) > General issues > Design
© 2012 www.DissertationTopic.Net  Mobile