细数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

相关文章

springboot使用Scheduling实现动态增删启停定时任务教程

《springboot使用Scheduling实现动态增删启停定时任务教程》:本文主要介绍springboot使用Scheduling实现动态增删启停定时任务教程,具有很好的参考价值,希望对大家有... 目录1、配置定时任务需要的线程池2、创建ScheduledFuture的包装类3、注册定时任务,增加、删

SpringBoot基于配置实现短信服务策略的动态切换

《SpringBoot基于配置实现短信服务策略的动态切换》这篇文章主要为大家详细介绍了SpringBoot在接入多个短信服务商(如阿里云、腾讯云、华为云)后,如何根据配置或环境切换使用不同的服务商,需... 目录目标功能示例配置(application.yml)配置类绑定短信发送策略接口示例:阿里云 & 腾

Linux内核参数配置与验证详细指南

《Linux内核参数配置与验证详细指南》在Linux系统运维和性能优化中,内核参数(sysctl)的配置至关重要,本文主要来聊聊如何配置与验证这些Linux内核参数,希望对大家有一定的帮助... 目录1. 引言2. 内核参数的作用3. 如何设置内核参数3.1 临时设置(重启失效)3.2 永久设置(重启仍生效

MySQL中动态生成SQL语句去掉所有字段的空格的操作方法

《MySQL中动态生成SQL语句去掉所有字段的空格的操作方法》在数据库管理过程中,我们常常会遇到需要对表中字段进行清洗和整理的情况,本文将详细介绍如何在MySQL中动态生成SQL语句来去掉所有字段的空... 目录在mysql中动态生成SQL语句去掉所有字段的空格准备工作原理分析动态生成SQL语句在MySQL

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,:本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步:动态库生成(vs2017+qt5.12.10)第二步:Java调用C++

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