基于断言的形式化验证与UVM的综合应用

发布时间：2021-08-20 05:09

　　在整个片上系统的开发流程中,验证工作发挥着非常重要的作用,其在项目中所占的时间平均已经达到55%。即使这样,大多数芯片在投入生产前至少需要进行两次流片,其中芯片的功能性缺陷是导致重新流片的头号原因。伴随着更复杂的电路功能和更快的产品上市的压力,功能验证已成为芯片设计开发周期的瓶颈。使用好现有的验证工具,对它们的验证特性进行深入的研究,对保证芯片功能的正确性、提高验证效率至关重要。针对这一问题,本文从最基本的模块验证做起,选择了目前芯片开发流程中用于模块验证的最流行的两种验证方法进行研究。本文以多核调试模块为验证案例,先后使用基于断言的形式化验证方法和UVM验证方法对多核调试模块进行验证,并记录下使用两种验证方法对多核调试模块进行验证时各个阶段的工作量,以此来发现适用于两种验证方发的电路特点。然后根据不同的电路特点选择合适的验证方法进行综合验证。分析对比三种验证方式用于验证平台建立、断言的开发与调试、测试用例的开发与调试、覆盖率分析的工作量,总结三种验证方式的优劣,并结合实际项目给出综合使用两种验证方法的建议。在本文的研究过程中,形式化验证的证明覆盖率为93.96%,功能覆盖率为100%... 

【文章来源】：西安电子科技大学陕西省 211工程院校 教育部直属院校

【文章页数】：85 页

【学位级别】：硕士

【部分图文】：

验证在整个项目周期中的占比[2]

第三章 基于断言的形式化验证证结果及覆盖率分析的覆盖率分为两部分，一部分是由形式化验证工具 rage，COI Coverage，Proof Coverage 和 Bound Cover能覆盖组，用于统计功能覆盖率。试模块的功能相对简单，因此并没有对验证的深度进可以，知道形式化验证完毕。所以并没有对 Bound 的结果如图 3.2，可见总共有 3774 个状态被验证，其接性检查共检查了 966 个状态。

验证前定义的功能覆盖组，用于统计功能覆盖率。由于多核调试模块的功能相对简单，因此并没有对验证的深度进行限制，即跑多少个时钟周期都可以，知道形式化验证完毕。所以并没有对 Bound Coverage 进行覆盖率分析。形式化验证的结果如图 3.2，可见总共有 3774 个状态被验证，其中有 9 个状态没有验证成功。连接性检查共检查了 966 个状态。图3.2形式化验证结果9 个 未 覆 盖 到 的 状 态 名 称 如 图 3.3 ， 可 见 没 有 覆 盖 到 的 状 态 均 来 自mon_pulse_pulse2pulse_sync_i 模块。

【参考文献】：
期刊论文
[1]Jasper:形式验证令你快人一步[J]. 梁晓欢.  电脑与电信. 2013(11)
[2]提高SoC硬件系统验证效率方法的综述（英文）[J]. 刘强,马建国.  电子科技大学学报. 2013(02)
[3]系统芯片的混合验证方法[J]. 韩俊刚.  西安邮电学院学报. 2002(01)

硕士论文
[1]基于SVA功能验证方法的中断延迟控制器和GPIO的验证研究[D]. 马恒.西安电子科技大学 2015



本文编号：3352878