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

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

日志

分享 当前的功耗验证为什么让人不满意?(续)
2018-12-1 23:03
功耗模型 纵使业界已经多次尝试去发现高级功耗模型,不过遗憾的是到目前为止 都未成功 。部分问题在于,要得到准确度,你需要来自RTL的设计细节。不仅如此,要获得花大量的时间进行足够的仿真所得到的功耗曲线,需要更高级的功耗模型。如果还要考量热功耗的话。那问题就更复杂了。 “如果你正在进行 ...
个人分类: 验证前沿资讯|1370 次阅读|0 个评论
分享 当前的功耗验证为什么让人不满意?
2018-12-1 22:54
rockeric.com 功能验证持续发展,但 功耗验证 ,作为一种 新的关注点 ,仍处于30年前功能验证所处的困境。那么,功耗验证何时能够赶上如今功能验证的脚步,且需要采取哪些措施才能实现呢?这是业界仍在努力解决的问题,然而并非所有人认为这些问题需要答案。 & ...
个人分类: 验证前沿资讯|1083 次阅读|0 个评论
分享 人工智能和机器学习让验证更快更智能(续)
2018-12-1 22:50
让引擎物尽其用 特别在当今商业上有着各种各样可用的验证方法的情况下,于工程团队而言,准确地理解每台引擎可以、应该在哪里使用是非常重要的,这种定位更像是一门艺术而不是一门学问。 Cunningham 认为这可能是 艺术和科学的结合,而且一定是个生态系统问题 。 “ 这是否取决于你使用的芯片类型呢 ...
个人分类: 验证前沿资讯|1008 次阅读|0 个评论
分享 人工智能和机器学习让验证更快更智能
2018-12-1 22:50
rockeric.com 近十年来,工具提供商一直在针对验证引擎的性能、 内存 等方面进行优化。现如今,虽然核心验证方式仍然是形式验证、软件仿真、硬件仿真和基于 FPGA 的原型设计,但我们有了新的研究方向,即 研究验证结构本身,以便能更好地规划,分配和度量跟踪这些引擎。 同时,当每个设计团队 ...
个人分类: 验证前沿资讯|969 次阅读|0 个评论
分享 IP行业增长这么快能出来解释一下吗?(续)
2018-12-1 22:43
摩尔定律减速的影响 如果开发或采用新节点的速度正在放缓,那么可以认为 IP 将变得更加稳定。看来,该陈述的所有方面都与实际发生的情况相反。 首先,新节点正在逐步开发。 “ 10nm 到 7nm 的节点迁移比从 28nm 到 16nm 短,” Cadence的 Tom Wong 指出,“扩散的速度超过了 IP 供应商支 ...
个人分类: 验证前沿资讯|981 次阅读|0 个评论
分享 IP行业增长这么快能出来解释一下吗?
2018-12-1 22:42
rockeric.com 二十年来,半导体行业经历了许多变化,每个变化的目的都是降低与芯片设计制造相关的总成本。二十年前,大多数公司都拥有自己的晶圆厂,并将所有电路设计在一个芯片上。如今,只有极少数公司仍然拥有 IP 形式的晶圆厂和外包设计。 IP 行业已成为 EDA 行业中最大的部分,而且,大多 ...
个人分类: 验证前沿资讯|960 次阅读|0 个评论
分享 逃逸的漏洞(续)
2018-12-1 22:39
利用形式验证技术 形式验证就是为应对这一挑战而发展的一个领域。 Netspeed 的 Ramanujam 说: “ 早在系统更加简单的时候,模拟足以探索空间并找到漏洞。然后人们意识到规模变得越来越大,需要仿真帮助运行更多的周期。然后系统变得更大,使得人们走向形式验证,用来更准确地证明RTL代码是按照功能描述 ...
个人分类: 验证前沿资讯|1014 次阅读|0 个评论
分享 逃逸的漏洞
2018-12-1 22:28
rockeric.com 自始至终, bug 都是生活的一部分,但是验证方法的发展速度可能跟不上系统的规模和复杂程度的增长。 漏洞的类型也在变化。有些人称它们为边界情况,有些人称异常事件( outliers) 。 在自动化等领域中,漏洞的概念正在演化。设计不仅要对随机故障有弹性,而且还必须能够检测系统故障 ...
个人分类: 验证前沿资讯|955 次阅读|0 个评论
分享 解读《多线程向量处理器验证技术的研究》(续)
2018-12-1 22:09
除此之外,还需要设计一部分的 底层测试代码 ,例如 处理器核级的验证规模已经相当庞大,处理器内部功能模块众多,各个模块间交互协议复杂,很难在处理器核级将整个核的功能进行完整验证。所以引入随机测试激励非常有必要。 处理器的系统级验证 处理器的系统级验证主要验证两 ...
个人分类: 验证前沿资讯|1034 次阅读|0 个评论
分享 解读《多线程向量处理器验证技术的研究》
2018-12-1 22:08
rockeric.com 随着集成电路工艺水平以及计算机体系结构技术的不断发展,微处理器的性能在过去的几十年中呈指数级的增长,伴随而来的是微处理器设计规模以及复杂度也快速增加。随之而来就是验证的难度急剧增加。 当前高性能微处理器验证面临的挑战主要为以下三个方面:1.验证周期长,效率低。2.验证覆盖率难以保证 ...
个人分类: 验证前沿资讯|1081 次阅读|0 个评论
  • 关注TA
  • 加好友
  • 联系TA
  • 0

    周排名
  • 0

    月排名
  • 0

    总排名
  • 0

    关注
  • 253

    粉丝
  • 25

    好友
  • 33

    获赞
  • 45

    评论
  • 访问数
关闭

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

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

GMT+8, 2024-3-29 06:07 , Processed in 0.038100 second(s), 8 queries , Gzip On, Redis On.

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