路科验证的个人空间 https://blog.eetop.cn/1561828 [收藏] [复制] [分享] [RSS]

空间首页 动态 记录 日志 相册 主题 分享 留言板 个人资料

日志

分享 有了大数据,覆盖率就能收敛了吗?(续)
2018-6-29 19:32
其实数据的大小可能不是最重要的因素,最重要的是看 我们如何处理数据和可以利用数据来做出的决定 。Arm已经提供了 结构化的收集数据和分析数据的方式 ,这使他们能够做出关于什么时候准备发货的决定。他们正试图构建数据集来尝试提取帮助他们可以做出决策的信息。这就是一项大数据技术。 不过有一个问题,大 ...
个人分类: 验证前沿资讯|1545 次阅读|0 个评论
分享 有了大数据,覆盖率就能收敛了吗?
2018-6-29 19:31
rockeric.com 当我们有了大量的数据,怎样可以使其成为大数据, 系统级验证该如何从大数据受益呢 ? 半导体设计是一个“大”和“小”的矛盾组合,大量的晶体管尺寸非常小,数据库却非常的庞大。现在整个芯片行业都在研究机器学习, 希望可以有效地管理这些数据 ...
个人分类: 验证前沿资讯|1947 次阅读|0 个评论
分享 太难了,功耗分析这道题我不会做!!(续)
2018-6-29 19:27
新兴的解决方案 如今有几个孤立的标准制定组织正在努力研究功耗问题的方方面面。Schirrmeister说,他并不认为目前已经有谁制定出了一个总体的规划。但是这个规划很显然需要建立一个能够代表硬件和软件所有信息的系统模型。经过了那么多艰难的尝试,我们也都明白这个通用的系统模型基本不可能存在,即使存在,创建起 ...
个人分类: 验证前沿资讯|1582 次阅读|0 个评论
分享 太难了,功耗分析这道题我不会做!!
2018-6-29 19:26
rockeric.com 对于一定量的硬件负荷,如何最大限度地降低功耗是一个很复杂的问题,它涉及到芯片设计过程中的很多方面。 我们到底能够多接近这个最优值呢? 随着芯片中晶体管的尺寸越来越精细,功耗已经成为制约芯片晶体管数量的重要因素,并且 如何能够最大化电路的性能也已经成为芯片设计的关键问题 。说 ...
个人分类: 验证前沿资讯|2898 次阅读|0 个评论
分享 解决系统验证复杂性难题恐怕只有它了(续)
2018-6-29 19:25
定义覆盖模型 那么PSWG是否应该为便携激励工具开发 系统覆盖率模型 呢? Olen说:“ PSWG将会在 语法和格式 上做一些规范,但并不打算标准化它具体做什么。我们制定了一些机制,允许我们的客户设置这些指标。他们可以使用标准语法(SV覆盖组、覆盖点等),它们可以非常具体地制定可衡量的目标。我 ...
个人分类: 验证前沿资讯|1007 次阅读|0 个评论
分享 解决系统验证复杂性难题恐怕只有它了
2018-6-29 19:23
rockeric.com 芯片到底验到什么时候才能流片呢? 这是芯片开发团队面对的最棘手问题之一,无数验证经理和验证工程师可能都考虑过tape out标准。 自20世纪80年代以来,为了量化解决这一问题,已经定义了一些指标和方法来降低流片风险,如 功能覆盖率和代码覆盖率 。如今利用这两个并不完美 ...
个人分类: 验证前沿资讯|1996 次阅读|0 个评论
分享 形式验证能像仿真验证一样有勇气签字画押吗?(续)
2018-6-29 19:17
形式验证用来发现错误还是签字确认(signoff)? 后来Sabbagh将谈话引向了一个新问题。“ 我们应该使用形式验证来发现错误还是签字确认? 优缺点都有什么? ” 第一个回应是“ 我们一开始将形式验证用于寻找缺陷,这已经是被证明非常成功的。缺点是没有一个明确的指标来衡量验证的进度。 ” ...
个人分类: 验证前沿资讯|2165 次阅读|0 个评论

本页有 3 篇日志因作者的隐私设置或未通过审核而隐藏

  • 关注TA
  • 加好友
  • 联系TA
  • 0

    周排名
  • 0

    月排名
  • 0

    总排名
  • 0

    关注
  • 253

    粉丝
  • 25

    好友
  • 33

    获赞
  • 45

    评论
  • 访问数
关闭

站长推荐 上一条 /1 下一条

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

GMT+8, 2024-3-28 20:21 , Processed in 0.038164 second(s), 8 queries , Gzip On, Redis On.

eetop公众号 创芯大讲堂 创芯人才网
返回顶部