0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

芯片的验证模块划分

数字芯片实验室 来源:数字芯片实验室 2023-10-07 14:41 次阅读

任何芯片都需要把芯片划分成更便于管理的小模块/特性进行验证。

在这里,引入特性(feature)验证的概念,即根据被测芯片的特性分配验证资源和人力。这样做虽然简化了验证资源分配和验证经理跟踪验证进度的难度,但也带来很大的完备性风险

一个特性很少能完全独立于其他特性。多个特性经常共享芯片的资源,它们会相互协作完成整颗芯片的预期功能。因此,单独验证某个特性可能无法发现那些只在特性间交互时才会表现出来的bug。

在完成相应特性验证之后,各个特性的验证负责人完全可以跳出原有的思维,不需要进行这样的划分,应该根据整颗芯片的预期功能而不是某个单一特性来划分。

验证人员就可以选择一些合适的特性组合,目的就是验证一些整颗芯片的预期功能。芯片验证人员应该探索芯片的运行路径,以不同的顺序执行许多特性。

各种特性之间的相互作用

验证生涯中大量存在验证人员竭尽全力验证一个特性后没发现bug,可是当它与其他特性进行交互时却存在bug的情况。

从理论上说,只有把所有的特性两个一组成对验证,然后再三个一组,四个一组,等等.....·才可能确定它们之间的交互是否存在bug。

很明显,使用这样穷尽验证的策略是不现实的,而且在多数情况下也没有必要。

通过询问一系列的问题可以指导确定是否需要将两个特性放在一起验证。首先从特性列表中随意选取两项,然后问自己下面这些问题。

有关输入的问题: 这两个特性会不会处理同一个输入?

有关输出的问题: 这两个特性功能是否影响同一个输出?

有关数据的问题: 这两个特性会操作其共享的一些内部数据?是读取还是修改共享数据?

如果对以上任何一个问题的回答是“是”,那么这两个功能就会相互交互,因此需要放在一起验证。





审核编辑:刘清

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 芯片制造
    +关注

    关注

    10

    文章

    628

    浏览量

    28891

原文标题:一颗小芯片的验证模块划分

文章出处:【微信号:数字芯片实验室,微信公众号:数字芯片实验室】欢迎添加关注!文章转载请注明出处。

收藏 人收藏

    评论

    相关推荐

    KaiHongOS的南向适配工作是如何划分的?

    KaiHongOS的南向适配开发工作分为<驱动子系统开发>和<内核子系统开发>。 其中,<驱动子系统开发>分’外设驱动(UHDF)‘和’平台驱动(KHDF)’。 简单划分如下图所示:
    发表于 01-10 10:10

    英诺达发布全新静态验证产品,提升芯片设计效率

    英诺达(成都)电子科技有限公司近日正式推出了两款全新的静态验证EDA工具——EnAltius®CDC跨域检查工具和Lint RTL代码检查工具。这两款产品的发布,标志着英诺达在芯片设计工具领域迈出
    的头像 发表于 12-24 16:53 398次阅读

    时钟芯片综合测试策略:从生成过程到关键模块

    时钟芯片的测试工作需细致入微,涵盖从时钟生成过程到芯片内部关键模块的全面评估。其核心功能在于产生稳定且准确的频率输出,并能根据系统需求灵活调整。因此,测试的重点在于验证
    的头像 发表于 11-04 11:50 387次阅读

    数字芯片设计验证经验分享文章 实际案例说明用基于FPGA的原型来测试、验证和确认IP——如何做到鱼与熊掌兼

    本系列文章从数字芯片设计项目技术总监的角度出发,介绍了如何将芯片的产品定义与设计和验证规划进行结合,详细讲述了在FPGA上使用硅知识产权(IP)内核来开发ASIC原型项目时,必须认真考虑的一些问题。
    的头像 发表于 10-28 14:53 431次阅读
    数字<b class='flag-5'>芯片</b>设计<b class='flag-5'>验证</b>经验分享文章 实际案例说明用基于FPGA的原型来测试、<b class='flag-5'>验证</b>和确认IP——如何做到鱼与熊掌兼

    IP地址与子网划分

    子网的划分,实际上就是设计子网掩码的过程,它指的是指将一个给定的IP网络地址空间划分为更小的子网络。 在子网掩码中用1和0来分别网络号和主机号,其中是1的表示是网络部分,0表示的是主机部分,所有
    的头像 发表于 09-06 09:46 415次阅读

    芯片设计流片、验证、成本的那些事

    前言我们聊聊芯片设计、流片、验证、制造、成本的那些事;流片对于芯片设计来说就是参加一次大考。流片的重要性就在于能够检验芯片设计是否成功,是芯片
    的头像 发表于 08-09 08:11 2140次阅读
    <b class='flag-5'>芯片</b>设计流片、<b class='flag-5'>验证</b>、成本的那些事

    什么是蓝牙芯片?蓝牙芯片和蓝牙模块的区别

    蓝牙芯片是集成蓝牙技术的微型元件,用于设备间无线连接。蓝牙模块基于芯片,简化蓝牙系统设计。芯片成本低但开发难,模块无需认证且使用简单,提供更
    的头像 发表于 07-18 16:48 2905次阅读
    什么是蓝牙<b class='flag-5'>芯片</b>?蓝牙<b class='flag-5'>芯片</b>和蓝牙<b class='flag-5'>模块</b>的区别

    芯片测试和芯片验证的区别

    这是芯片在设计过程中的一个环节,主要通过EDA(电子设计自动化)工具进行仿真检验。它的主要目的是在芯片生产之前,验证芯片设计是否符合预定的需求规格,是否已经消除了所有的风险,发现并更正
    的头像 发表于 05-08 16:52 2302次阅读

    freertos系统如何划分任务?

    正在看freertos方面的教程,想请教下如何划分任务? 比如之前做的一个数据采集板,用到了单片机以下功能: 1,单片机通过SPI1和ADC芯片通讯,同时还要通过SPI控制ADC电路部分的其他外围
    发表于 05-08 07:16

    vlan的划分方法有哪些?有哪几种?

    VLAN(Virtual Local Area Network)是一种虚拟局域网技术,可以将多个物理上分散的局域网划分为逻辑上的若干虚拟局域网。VLAN的划分方法主要有以下几种: 1. 端口VLAN
    的头像 发表于 04-20 14:20 3605次阅读

    交换芯片DP模块怎么用

    交换芯片DP(Data Point)模块的使用方法通常涉及以下几个步骤。
    的头像 发表于 03-22 16:20 835次阅读

    fpga验证和测试的区别

    FPGA验证和测试在芯片设计和开发过程中都扮演着重要的角色,但它们各自有着不同的侧重点和应用场景。
    的头像 发表于 03-15 15:03 1317次阅读

    fpga验证和uvm验证的区别

    FPGA验证和UVM验证芯片设计和验证过程中都扮演着重要的角色,但它们之间存在明显的区别。
    的头像 发表于 03-15 15:00 1763次阅读

    Quectel与罗德与施瓦茨携手验证5G eCall模块

    验证工作。该模块是Quectel汽车模块AG56xN系列的重要组成部分,此次验证标志着汽车通信领域的一大技术突破。
    的头像 发表于 03-15 10:23 649次阅读

    电机类型划分

    电机是典型的将电能转化为机械能的设备,其是大多数机器人的执行部件。可以说,选择一款性能优越的电机可以使得机器人的性能得到充分的展示。因而电机在机器人中的应用极其广泛。电机的类型划分可以从不同角度给出
    的头像 发表于 02-22 10:04 1645次阅读
    电机类型<b class='flag-5'>划分</b>