基于时序逻辑等效性检查方法的RTL验证
寄存器传输级(RTL)验证在数字硬件设计中仍是瓶颈。行业调研显示,功能验证占整个设计工作的70%.但即使把重点放在验证上面,仍有超过60%的设计出带需要返工。其主要原因是在功能验证过程中暴露出来的逻辑或功能瑕疵和缺陷等。显然,需要进一步改进验证技术。 设计团队一般采用系统模型进行验证。就验证来说,系统模型比RTL更具优势,比如系统模型易于开发且具有优异的运行时性能。挑战性在于如何在系统级验证和生成功能正确的RTL间建立起桥梁。一种称为时序逻辑等效性检查的方法具有桥接两者的能力,它是基于C/C++或SystemC编写的规范来对RTL实现进行形式验证。 本文将讨论商用图形处理芯片所采用
用户评论
推荐下载
-
基于事务传输级的验证方法
基于事务级别的UVM验证方法学,适合新手,相比较传统的的信号级的验证更为高级。
13 2019-09-22 -
基于SystemVerilog语言的验证方法学
文章主要介绍《VMM for SystemVerilog》一书描述的如何利用SystemVerilog语言,采用验证方法学以及验证库开发出先进验证环境.
28 2018-12-21 -
基于VMM方法的SOC集成验证
SOC integration verification based on VMM method
52 2019-06-26 -
基于断言的SoC设计验证方法
本文针对SoC设计方法学中如何有效、充分的功能验证问题,首先介绍了基于断言的验证方法学的定义及其所带来的好处,然后以一种断言验证语言--OVA作为具体的应用实例,通过仿真说明了断言验证是SoC设计功能
40 2019-07-23 -
基于复合等效可信度加权的Bayes融合评估方法
In the test evaluation for small sample size, the prior information is generally fused to obtain the
18 2021-02-27 -
基于极值理论的SBAS完整性验证
基于极值理论的SBAS完整性验证
9 2021-05-05 -
AD健康性检查
日常AD健康性检查工作,帮助企业系统管理员进行AD活动目录的日常运维
27 2019-05-02 -
基于完备等效性和完备协变性公设的引力场方程
基于完备等效性和完备协变性公设的引力场方程,李宗诚,,对于自身处于非线性非平衡性发展过程而在整体上处于非惯性运动过程的类完备系统,本文建立作为非线性交叉微分方程的全拓展引力�
12 2020-05-14 -
基于Token的身份验证的方法
主要介绍了基于Token的身份验证的方法,小编觉得挺不错的,现在分享给大家,也给大家做个参考。一起跟随小编过来看看吧
16 2020-11-06 -
第6章时序逻辑电路2的副本
讲义,关于逻辑电路图,和74ls160到194的1到n进制的转换
31 2019-01-02
暂无评论