覆盖率导向验证方法的研究和应用

【作者】 朱怡君；

【导师】 叶凡；

【作者基本信息】 复旦大学 ， 电子与通信工程， 2009， 硕士

【摘要】 随着现代大规模集成电路的发展,芯片设计复杂度不断提高,设计规模不断扩大,验证设计功能正确性的困难度也大幅增加,需要投入的人力呈指数增长。功能验证逐渐成为SOC设计的瓶颈,验证方法学得到越来越多的重视。近年来,涌现了一批新的验证方法,比如基于断言的验证、功能覆盖率、基于事务的验证,可约束的随机激励等等;目前验证方法改进的趋势渐渐转移到如何形成更加系统化和结构化的验证过程。覆盖率导向的验证方法是一种新型的验证方法学,以其贴近设计的思维方式,极大的提高验证的效率,并且已经在业界有许多实际的应用。它基于分层结构验证方法,支持激励的随机产生,自动检查结果,以覆盖率的量化分析为验证的核心,通过对覆盖率的分析,判断验证的完备性。这种机制大大减少了验证过程的工作量。随着支持功能覆盖点、断言和测试平台约束规范的SystemVerilog在业界的普及,以及越来越多的约束随机测试平台的涌现,这种方法会在一段时间内对IC设计工业产生巨大的影响。本文首先介绍了覆盖率导向验证方法的思想,对该方法的各要素进行分析和总结,然后将它应用到虚拟输出队列(VOQ)的验证过程中,为VOQ建立一个功能覆盖率模型,在仿真过程中,对覆盖率水平进行统计,并以此为依据产生新的高效测试用例。最后结合实验数据,将覆盖率导向的验证方法和传统的验证方法进行比较。更多还原

【Abstract】 With the development of modern IC design, the scale of chip increased exponentially and the function within one chip becomes more and more complex which makes the verification job supper formidable. Functional verification has become the bottleneck of large-scaled chips design.Some new verification techniques came out in recent years. E.g. functional coverage, constrained random stimulus, formal verification, transaction-based verification method and etc. Nowadays, the point at the verification flow is revolves around how to make it more systemic and more structural.CDV(coverage Driven Verification) is a new verification method which can improve the efficiency of testing obviously with it’s natural thinking model. It bases on the structural verification method, support constrained random stimulus and the result will be checked automatically. With coverage report as the criterion of verification integrity, it dominants the whole scenario in validation and make the design more reliable. Almost all the EDA vendor has dig into it and coverage statistics has been supported by the mainstream tools.This thesis will analyze the CDV in detail, summarizes the factors of the method and the verification environment. And then apply it in the verification of Virtual Output Queue (VOQ) module. Create the functional coverage model for VOQ and generate stimulus base on the coverage report. We summarize the difference between traditional verification method and CDV with experiment at the end of the article.With popularization of the verification languages such as System Verilog it deserved to be a major verification mythology in a few years.更多还原