中文 英语

标签:形式验证

汽车应用中AI处理器数据路径的正式验证
通过Laureano卡拉斯科- 2023年1月5日-意见:0

没有多少电子应用比汽车和其他道路车辆更需要正确性、安全性和安全性。车主们都希望自己的汽车在任何时候都能正常可靠地运行。如果车辆行为不端，司机、乘客和附近的人都有生命危险。随着汽车电子产品的每一次创新，这种情况都变得更加严重。一声……»阅读更多

用于验证的硬件增强RISC指令(CHERI)，具有更好的内存安全性(Oxford)
通过技术文件链接- 2022年11月30日-评论:0

牛津大学的研究人员发表了一篇题为“A Formal CHERI-C Semantics for Verification”的技术论文。摘要:“CHERI-C通过增加硬件功能扩展了C编程语言，在保持效率的同时保证了一定程度的内存安全性。功能还可以用于更高级别的安全措施，例如软件分区，…»阅读更多

ML可以帮助验证吗?也许
通过布莱恩•贝利- 2022年9月22日-意见:0

功能验证产生了大量的数据，可以用来训练机器学习系统，但并不总是清楚哪些数据有用，或者它是否有帮助。ML的挑战在于理解何时何地使用它，以及如何将它与其他工具和方法集成。有了一个足够大的锤子，很容易把所有东西都称为钉子，然后只是扔……»阅读更多

基于图的形式化等价性检验方法
通过技术文件链接- 2022年9月14日-评论:0

不来梅大学和DFKI有限公司的研究人员发表了一篇名为“线性电路系统级和spice级模型的等价性检查”的新研究论文。摘要:“由于模拟电路及其集成到片上系统(SoC)的复杂性不断增加，模拟设计和验证行业将极大地受益于系统级满足的扩展。»阅读更多

验证记分卡:行业表现如何?
通过布莱恩•贝利- 2022年8月25日-评论:0

《半导体工程》坐下来讨论验证工具和方法如何跟上需求，Imperas Software的销售副总裁Larry Lapides;Mike Thompson, OpenHW验证任务组的工程总监;Arteris IP技术营销经理Paul Graykowski;凯登公司产品营销副总裁Shantanu Ganguly说。»阅读更多

正式验证确保毅力号探测器安全登陆火星
通过约瑟夫·于佩西三世- 2022年4月28日-意见:0

航天器在火星上的任何地方安全着陆都是一项复杂、高风险的挑战。更糟糕的是，地球上最具科学意义的地区被巨石、沟渠和高高的悬崖保护着——这些陆地构造不太欢迎车辆。“毅力”号火星探测器的着陆点:杰泽罗陨石坑就是这样一个例子。不是e…»阅读更多

测量处理器错误的复杂性以提高测试台质量
通过菲利普·卢克- 2022年4月28日-意见:0

经常有人问我这样一个问题:“处理器验证什么时候完成?”或者换句话说，“我如何衡量我的测试平台的效率，我如何对验证的质量有信心?”这个问题没有简单的答案。在行业中有一些常用的指标，如覆盖率和bug曲线。虽然它们是绝对必要的，但这些还不足以达到…»阅读更多

改变设计范式以提高验证效率
通过哈利福斯特- 2022年3月10日-意见:0

我们正处于核查危机之中，其表现是核查效率和效力之间的差距越来越大。这一危机不能仅通过改进核查方法和技术来解决。事实上，这需要我们在设计方法上进行哲学上的改变，强调bug预防。我们将这种根本的变化称为使用intent-fo…»阅读更多

比较正式代码和模拟代码的覆盖率
通过西门子EDA- 2022年3月9日-评论:0

从模拟器引擎生成的代码覆盖和从正式引擎生成的代码覆盖在语义上是不同的。本文旨在提高验证工程师对如何最好地利用由不同验证引擎生成的代码覆盖率数据的认识。本文列出了使用代码覆盖的原因，并描述了如何模拟代码覆盖…»阅读更多

验证侧通道安全预硅
通过布来安梅奥- 2022年3月3日-评论

随着安全性越来越重要，侧通道攻击提出了一个独特的挑战，因为它们依赖于物理现象，而这些物理现象并不总是为设计验证过程建模。虽然任何东西都可以被黑客攻击，但我们的目标是使攻击变得非常困难，以至于攻击者认为不值得这么做。对于侧信道攻击，前硅设计是解决任何已知…»阅读更多

←老帖子

  • 赞助商

关于

导航

与我们联系

版权所有©2013-2023 SMG |服务条款|隐私政策
Baidu