在线咨询 开启辅助访问 切换到宽版
eetop公众号 创芯大讲堂 创芯人才网

ET创芯网(EETOP)

找回密码

  登录   注册  

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

关于我们| 小黑屋| 手机版| Archiver| 在线咨询| ET创芯网(EETOP) ( 京ICP备15035084号 京公网安备:11010502037710 )

GMT+8, 2021-11-27 06:53 , Processed in 0.069756 second(s), 2 queries , Redis On.

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