设为首页收藏本站

eetop公众号

创芯大讲堂

创芯人才网

切换到宽版

手机号码，快捷登录

创芯云服务 : 创芯大讲堂 | 创芯人才网 | 数字IC职业培训 EETOP诚邀线上IC培训讲师!

搜帖子

EETOP 创芯网论坛 (原名：电子顶级开发网) › 日志

日志

验证系统思想| 验证前沿资讯| Synopsys SV 实验|

分享验证的方法篇之八：趋势展望: 路科验证 2016-9-11 16:22; 目前主要的验证方式包括动态仿真、形式验证和硬件加速，那么如何选择它们，已经是否可以构建一个可复用的验证平台实现这些不同验证方法的跨越是接下来我们需要关心的。随着设计的尺寸和复杂度在不断提高，即便有IP复用的方式来缩短设计时间，更多模块之间的互动可能性也要求更充分地去验证这些状态空间。目前仿真技术的瓶 ...; 个人分类: 验证系统思想|1995 次阅读|0 个评论

分享验证的方法篇之七：性能验证: 路科验证 2016-9-11 16:19; 在迈过了效能验证的坎以后，我们来到了性能（performance）验证部分。顾名思义，在这部分验证当中我们需要测试芯片的性能，而测试性能又离不开大量的运算或者数据传输。我们之前提到过，硅前RTL验证的瓶颈之一在于仿真速度，而且一旦到了芯片级仿真，这一因素就更进一步放大了。由于在产品定义过程中，对于系统的运算 ...; 个人分类: 验证系统思想|3824 次阅读|0 个评论

分享验证的方法篇之六：效能验证: 路科验证 2016-9-11 16:05; 在PC时代，还少有人将处理器功耗提上验证的日程，因为大家对于处理器性能的关注多于功耗的考虑。在十多年前，大家使用2G的功能手机，“超长待机”一词渐渐被作为主打广告语进入了用户的视线，这得益于硬件本身的低功耗（性能本身不要求太突出）和大容量的电池。而到了智能手机时代，伴随着将桌面办公和娱乐移动化的需求， ...; 个人分类: 验证系统思想|3720 次阅读|1 个评论热度 1

分享验证的方法篇之五：硬件加速: 路科验证 2016-9-11 15:51; 我们之前介绍过的动态仿真和静态检查方法各自具有优势，然而它们都不具备的一个优势在于速度。尤其是在SoC的设计体量越来越大的时候，仿真速度成为制约验证进度的重要障碍。同时，由于仿真速度的限制，一些真实的用例也无法在RTL级仿真很快地呈现结果，这种困难在硅后软件测试发现问题反馈给硅前硬件团队时更加明显，因为 ...; 个人分类: 验证系统思想|4802 次阅读|0 个评论热度 1

分享验证的方法篇之四：虚拟模型: 路科验证 2016-8-25 19:17; 对于系统虚拟建模的广泛定义是它包含高抽象级的系统硬件模型，而与此同时软件开发可以在此硬件模型基础上展开。通过这种方式，虚拟模型不但可以让软件开发在更早期就展开，而且还可以收获软件开发的反馈，从而交给硬件设计。这种反馈在以往的瀑布模式开发周期中是无法实现的，因为软件往往需 ...; 个人分类: 验证系统思想|2827 次阅读|0 个评论

分享验证的方法篇之三：开发环境: 路科验证 2016-8-25 19:14; 如果我们将影响验证编码效率的因素分为“硬件因素”和“软件因素”，那么硬件因素的配置在短期是可以补齐的，而软件因素则会设计到验证人员的技术能力、调试能力和其它软实力。所以从实用的角度上来看，如果准备在验证道路上长期深耕的话，更早地提高硬件环境配置是一笔越早投入收益越大的事情。如 ...; 个人分类: 验证系统思想|3752 次阅读|0 个评论

分享验证的方法篇之二：静态检查: 路科验证 2016-8-25 18:27; 与动态仿真相对的是静态检查，它本身不需要仿真、波形激励，通过工具的辅助，验证人员即可以发现设计中存在的问题。静态检查方法较为分散，且关注的验证领域也不为一致，我们将目前主要的方法概括为：语法检查（syntax check）语义检查（linting check）跨时钟域检查（CDC，cross-clock do ...; 个人分类: 验证系统思想|4275 次阅读|0 个评论

分享验证的方法篇之一：动态仿真: 路科验证 2016-8-25 18:18; 从这一季开始我们进入了《验证的方法篇》，之所以单独分出一季来介绍验证的方法和工具，一方面是目前验证方法的分支和其工具种类繁多，另外的是希望读者可以在系统了解了验证的工具库之后，在验证设计的时候首先有一套工具箱，而后再根据设计的特点将其结合不同的验证方法和工作，最终取得满意的效果。从Wi ...; 个人分类: 验证系统思想|4002 次阅读|0 个评论

分享验证的策略篇之六（终）：集成的环境: 路科验证 2016-8-12 10:57; 在分析完激励的原则的检查的方法之后，我们关于验证平台（testbench）的核心要素就大致齐备了。接下来我们将进一步分析整个验证集成环境要考虑的部分有哪些，通过这些分析了解这些部分之间的关系。从下面这张图我们将验证集成环境分为了：验证平台（verification platform）运行环境（runtime environm ...; 个人分类: 验证系统思想|1891 次阅读|0 个评论

分享验证的策略篇之五：检查的方法: 路科验证 2016-8-12 10:54; 我们在上一节《激励的原则》里面给出了几点用来评估激励自由度的方法，在这篇文中，我们则需要考虑在各种可能的激励组合下，如何选择适当的检查来完成一项核心要素：检查就是查看设计是否按照功能描述做出理应的行为，并且识别所有错误的输出从而发现设计缺陷。对于激励我们是从接口类型来划分的，那 ...; 个人分类: 验证系统思想|2101 次阅读|0 个评论

1 ... 8 9 10 11 12 131415 16 / 16 页下一页

关闭

站长推荐 /1

小黑屋| 关于我们| 联系我们| 在线咨询| 隐私声明| EETOP 创芯网
( 京ICP备:10050787号京公网安备:11010502037710 )

GMT+8, 2024-4-27 21:54 , Processed in 0.019838 second(s), 6 queries , Gzip On, Redis On.

eetop公众号

创芯大讲堂

创芯人才网

返回顶部