细数EDA动态仿真验证的七宗罪

2023-10-09 00:59

本文主要是介绍细数EDA动态仿真验证的七宗罪,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

令人意外的是,7nm->5nm->3nm->2nm,摩尔定律还在前进。但从验证的角度来看,这并非好事。

因为单位面积能够容纳更多的复杂逻辑,从而提高了整个芯片在硅后发生功能BUG的可能性。

验证是整个芯片研发过程中非常关键或者说瓶颈的一环。没有验证,就像是足球队没有守门员。与此同时,对于芯片的上市时间(time to market)要求越来越短,因为市场上的竞争压力越来越大需要尽快将产品投入到市场获得更多的利润。可以说,目前芯片想要做到完备的验证是一件非常困难的事情

 

使用EDA动态验证方法进行验证主要包括以下内容:

•针对待测设计(DUT)创建一个测试平台(testbench)。

•编写定向或者随机的测试用例,以激励待测设计的输入、检查待测设计的输出,同时统计待测设计测试点覆盖的情况。

•执行所有的测试用例。在此期间会不停地调试待测设计和测试平台,最终使得验证sign off。

但是,这种EDA动态验证方法方法有许多缺点,也就是这个标题党文章的标题所述,EDA动态仿真验证的十宗罪:

 

•Testbench的开发可能是一个漫长的过程,通常复杂设计的验证平台开发需要几个月

•Testbench开发非常容易出错,通常测试平台中的BUG数量会多于待测RTL设计中的BUG数量

•执行测试用例非常昂贵—需要持续地利用服务器资源/硬件加速器/FPGA进行回归,直到芯片最终tape out。

•测试用例本身可能包含一些错误,这些错误可能会误报或者漏报RTL中的BUG

•调试Fail的测试用例会消耗大量的精力,会是占据验证工作最多的组成部分,因为报出Fail的地方和实际BUG的根因可能离得很远,很难定位,就跟洋葱去皮的过程一模一样。

•很难说执行了多少测试用例才能证明设计是没有BUG的,即EDA动态仿真只能证伪。

•一些BUG可能是data-dependent,即触发条件非常苛刻,几乎无法在RTL模型上使用随机测试覆盖到。即使是覆盖率驱动的随机测试也做不到完备验证,不然Intel CPU怎么会有BUG,是因为对芯片验证不够重视?

这篇关于细数EDA动态仿真验证的七宗罪的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/169201

相关文章

C#如何动态创建Label,及动态label事件

《C#如何动态创建Label,及动态label事件》:本文主要介绍C#如何动态创建Label,及动态label事件,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录C#如何动态创建Label,及动态label事件第一点:switch中的生成我们的label事件接着,

SpringCloud动态配置注解@RefreshScope与@Component的深度解析

《SpringCloud动态配置注解@RefreshScope与@Component的深度解析》在现代微服务架构中,动态配置管理是一个关键需求,本文将为大家介绍SpringCloud中相关的注解@Re... 目录引言1. @RefreshScope 的作用与原理1.1 什么是 @RefreshScope1.

MyBatis 动态 SQL 优化之标签的实战与技巧(常见用法)

《MyBatis动态SQL优化之标签的实战与技巧(常见用法)》本文通过详细的示例和实际应用场景,介绍了如何有效利用这些标签来优化MyBatis配置,提升开发效率,确保SQL的高效执行和安全性,感... 目录动态SQL详解一、动态SQL的核心概念1.1 什么是动态SQL?1.2 动态SQL的优点1.3 动态S

opencv图像处理之指纹验证的实现

《opencv图像处理之指纹验证的实现》本文主要介绍了opencv图像处理之指纹验证的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有一定的参考学习价值,需要的朋友们下面随着小编来一起学... 目录一、简介二、具体案例实现1. 图像显示函数2. 指纹验证函数3. 主函数4、运行结果三、总结一、

mybatis-plus 实现查询表名动态修改的示例代码

《mybatis-plus实现查询表名动态修改的示例代码》通过MyBatis-Plus实现表名的动态替换,根据配置或入参选择不同的表,本文主要介绍了mybatis-plus实现查询表名动态修改的示... 目录实现数据库初始化依赖包配置读取类设置 myBATis-plus 插件测试通过 mybatis-plu

基于Canvas的Html5多时区动态时钟实战代码

《基于Canvas的Html5多时区动态时钟实战代码》:本文主要介绍了如何使用Canvas在HTML5上实现一个多时区动态时钟的web展示,通过Canvas的API,可以绘制出6个不同城市的时钟,并且这些时钟可以动态转动,每个时钟上都会标注出对应的24小时制时间,详细内容请阅读本文,希望能对你有所帮助...

Vue中动态权限到按钮的完整实现方案详解

《Vue中动态权限到按钮的完整实现方案详解》这篇文章主要为大家详细介绍了Vue如何在现有方案的基础上加入对路由的增、删、改、查权限控制,感兴趣的小伙伴可以跟随小编一起学习一下... 目录一、数据库设计扩展1.1 修改路由表(routes)1.2 修改角色与路由权限表(role_routes)二、后端接口设计

前端 CSS 动态设置样式::class、:style 等技巧(推荐)

《前端CSS动态设置样式::class、:style等技巧(推荐)》:本文主要介绍了Vue.js中动态绑定类名和内联样式的两种方法:对象语法和数组语法,通过对象语法,可以根据条件动态切换类名或样式;通过数组语法,可以同时绑定多个类名或样式,此外,还可以结合计算属性来生成复杂的类名或样式对象,详细内容请阅读本文,希望能对你有所帮助...

Nginx实现动态封禁IP的步骤指南

《Nginx实现动态封禁IP的步骤指南》在日常的生产环境中,网站可能会遭遇恶意请求、DDoS攻击或其他有害的访问行为,为了应对这些情况,动态封禁IP是一项十分重要的安全策略,本篇博客将介绍如何通过NG... 目录1、简述2、实现方式3、使用 fail2ban 动态封禁3.1 安装 fail2ban3.2 配

Python爬虫selenium验证之中文识别点选+图片验证码案例(最新推荐)

《Python爬虫selenium验证之中文识别点选+图片验证码案例(最新推荐)》本文介绍了如何使用Python和Selenium结合ddddocr库实现图片验证码的识别和点击功能,感兴趣的朋友一起看... 目录1.获取图片2.目标识别3.背景坐标识别3.1 ddddocr3.2 打码平台4.坐标点击5.图