基于SVA的Boot启动功能验证研究

发布时间：2018-04-20 23:30

本文选题：功能验证 + SVA　；参考：《西安电子科技大学》2015年硕士论文

【摘要】：在当前集成电路芯片开发过程中,功能验证已成为时间花费最大的环节。传统功能验证方法受限于自身可观察性与可控制性方面的不足,无法精确快速地定位设计中存在的错误。此外,传统验证周期长,重用性差以及工作量偏大的现状使得从业者致力于寻求一种优化的方法。本文在对传统验证过程特点进行分析的基础上,提出了一种基于断言的验证方法ABV,这种新型验证的方法是目前验证方法学发展的新趋势。ABV(Assertion-Based Verification)的使用可以提升验证过程中的可操作性,对于设计周期的早期介入可以使设计缺陷的发现节点大大提前,降低缺陷的修正成本。同时,断言模块可以与设计分开实现,使其具备良好的可重用性,对于验证效率的提升效果明显。首先提出文章的研究课题--基于SVA的Boot启动的功能验证研究。主要研究内容是IC设计中的功能验证的具体实现应用,背景来源于西安英特尔移动通信技术有限公司XGOLD手机基带通信芯片项目的开发。以芯片Boot启动过程为切入点,说明基于SVA断言的功能验证方法在手机芯片中的实现。以传统仿真验证方法为基础,针对验证过程中发现的不足,提出一种能够提高验证质量,改善验证效率的方法,更好地解决工程上遇到的验证问题。论文开篇介绍了当前验证工作所面临的困难,分析对比了几种主流功能验证方法的优缺点,并有针对性地引入断言验证方法。随后对断言的实现过程作了详细的阐述,在对通信芯片Boot启动过程的功能以及Boot验证策略的介绍和总结的基础上,完成对断言插入点的归纳提取。进而搭建SVA验证环境并通过提取设计属性完成断言模块的建立。在文章的最后部分对验证的结果进行了解释说明,结合研究数据,分析断言在实际项目中的作用。总结断言语言在提升验证质量,改善验证时间等方面体现出的积极作用,并在总结全文的基础上对后续课题的工作要点进行了展望。
[Abstract]:In the current IC chip development process, functional verification has become the most time-consuming link. The traditional functional verification method is limited by the shortcomings of its own observability and controllability, so it is unable to locate the errors in the design accurately and quickly. In addition, the traditional verification cycle is long, the reusability is poor, and the workload is too large. Based on the analysis of the characteristics of the traditional verification process, A new verification method based on assertion (ABV) is proposed. This new verification method is a new trend in the development of verification methodology at present. The use of ABVAssertion-Based Verification can enhance the operability of verification process. The early intervention of the design cycle can lead to the discovery of defects in the design much earlier and reduce the cost of defect correction. At the same time, the assertion module can be implemented separately from the design, so that it has good reusability. Firstly, the research topic of this paper, the function verification of Boot startup based on SVA, is put forward. The main research content is the realization and application of function verification in IC design. The background comes from the development of XGOLD mobile phone baseband communication chip project of Xi'an Intel Mobile Communication Technology Co., Ltd. The realization of function verification method based on SVA assertion in mobile phone chip is illustrated by starting process of chip Boot. Based on the traditional simulation verification method, a new method which can improve the quality and efficiency of verification is proposed to solve the problems encountered in engineering. At the beginning of the paper, the difficulties faced by the current verification work are introduced, the advantages and disadvantages of several mainstream functional verification methods are analyzed and compared, and the assertion verification method is introduced. Then, the realization process of assertion is described in detail. On the basis of the introduction and summary of the function of Boot startup process and the Boot verification strategy, the inductive extraction of assertion insertion point is completed. Then the SVA verification environment is built and the assertion module is built by extracting the design attributes. In the last part of the paper, the result of verification is explained, and the function of assertion in the actual project is analyzed by combining the research data. Summing up and asserting language plays a positive role in improving the quality and time of verification. Based on the conclusion of this paper, the main points of future research are prospected.
【学位授予单位】：西安电子科技大学
【学位级别】：硕士
【学位授予年份】：2015
【分类号】：TN407

【相似文献】