Dissertation > Excellent graduate degree dissertation topics show

Research and Application of Functional Verification Drived by Coverage

Author: HuYongChun
Tutor: OuGang；ZhangJian
School: National University of Defense Science and Technology
Course: Information and Communication Engineering
Keywords: Functional Verification Coverage Assertion Open Verification Methodolody
CLC: TN407
Type: Master's thesis
Year: 2009
Downloads: 56
Quote: 5
Read: Download Dissertation

Abstract


In modern IC design,the scale and complexity of chips increase exponentially. To assure the functional correctness of designs, more time and resources are needed and the task of verification becomes more difficult. The ability of functional verification lags far behind of that of design, which makes the functional verification become a bottleneck of the design of large scale chips. CDV(Coverage Driven Verification)is a new verification methodology, which can greatly improve the efficiency, has been proved to be an advanced method in industrial IC design.A detailed research on CDV is given in the thesis, and the whole environment and each characteristic of CDV are summarized. The thesis focuses on the methods of building a CDV environment. CDV is compared with other methods from structure of testbench,functional coverage model building,the stimulus generation and the response checking. In order to overcome the shortcoming of the present simulation based verification,we bring the assertion into the verificational process to enhance the strategy from the checking mechanism of protocol and important timing and the coverage mechanism of modeling and reporting. The method improves the observability of the DUV and controllability of the verification process.Systemverilog classes are provided by OVM which is published by Cadence. It’s easy to develop verification environment based on CDV with OVM. Systemverilog assertion technology is also supported. With the functional verification of a navigation baseband chip as background, challenges in verification are analyzed, and then verification strategy is developed. An self-designed co-processor for communication is verified using OVM based on CDV. The experimental results present that the assertion based CDV can extremely save the debugging time and farther shorten the verification process. Moreover the method can find more verificational holes and improve the design confidence.

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. Analysis on Nitrogen Loss in Different Land Use Watersheds of Menglun, Xishuangbanna, Southwest China,X52
  6. Based on wireless sensor network target tracking algorithm,TN929.5
  7. OVM architecture based on EPA chip validation studies,TN406
  8. Ebinur surrounding shrub ( grass ) plexus sand tunnel research and development mechanism,P931.3
  9. Data Request and the Management of Playback Buffer in P2P Streaming Media,TN919.8
  10. Soil Mositure and Dynamics of Runoff Under Different Slope in Wangdonggou Watershed,S157.1
  11. Theoretical Analysis and Applied Research on Electrostatic Spraying Technology,S491
  12. Statistical Inference for Estimating Equations Statistical Models with Missing Data,O212.1
  13. Voronoi diagram of its nature and application of wireless sensor networks,TP212.9
  14. Tv Programs in China on Agricultural Situation and Developing Strategies,G222
  15. Research of SAML & SSO and Entrepreneurial SSO Framework Design,TP393.08
  16. Key Predistribution Scheme Based on Covering Designs for Sensor Networks,TP212.9
  17. Research on Wireless Sensor Network Coverage Algorithm,TP212.9
  18. The Study on k-Coverage Algorithm for Wireless Sensor Networks,TN929.5
  19. Research on Coverage Control in Wireless Multimedia Sensor Networks,TP212.9
  20. Coverage-enhancing Algorithm for Directional Sensor Netorks Based on Intelligent Optimization,TP212.9
  21. Modeling and Optimization on the Coverage Problem of Wireless Sensor Network in Intelligent Building,TN929.5

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