标签:静态分析

设计范式转向提高验证效率
通过哈利福斯特2022年3月- 10 -评论:0

我们正处在一个危机之间日益增长的差距验证效率和有效性。这场危机无法通过验证方法和技术的改进解决孤独。事实上,它需要一个哲学方式的改变我们的方法设计,强调缺陷预防。我们称这个根本性的改变为设计使用intent-fo…»阅读更多

调试嵌入式应用程序
通过安Mutschler11月- 10,2021 -评论:0

调试嵌入式设计越来越难观察到的数量和可能的硬件和软件之间的相互作用继续增长,越来越多的功能塞进芯片,包,和系统。但似乎也有一些进步在这方面,涉及的技术,包括硬件跟踪、扫描的连锁酒店忠诚度奖励调试,以及更好的模拟……»阅读更多

使用Ansys RedHawk-CPA Chip-Package Co-Analysis
通过有限元分析软件11月- 11,2020 -评论:0

Ansys RedHawk-CPA是一个集成chip-package co-analysis解决方案,允许快速和准确的建模方案布局包含在芯片上的电源完整性使用Ansys模拟运行。以RedHawk-CPA设计师可以执行静态红外分析和交流热点分析包的布局后分别运行静态和动态分析。以确保完整性……»阅读更多

重新考虑你的辐射方式缓解
通过导师,西门子业务- 03年6月,2020 -评论:0

形式验证和自动化提供一个有效的、高质量、故障分析和可重复的过程,保护,和验证FPGA设计中使用高辐射环境。本文描述了一个自动化的系统方法基于形式验证结构和静态分析,确定设计对辐射诱导的缺点。多读,按…»阅读更多

建立一个安全验证流程
通过埃德·斯珀林- 3月24日,2020 -评论:0

萨尔阿尔瓦雷斯,高级Synopsys对此应用工程经理,解释了安全验证不同于功能验证,什么变化与故障模式影响分析,以及如何确定并验证安全功能的有效性。»阅读更多

权力挑战毫升处理器
通过布莱恩•贝利2020年3月- 12 -评论:0

人工智能(AI)芯片的设计或机器学习(ML)系统要求设计人员和架构师使用书中每一个技巧,然后学习一些新的成功。称之为风格,称之为建筑,有一些设计,只是比别人更好。时,有很多方法,微小的变化可以使巨大差异....»阅读更多

三个步骤来完成重置行为验证
通过克里斯·郭11月- 14,2019 -评论:0

由克里斯•郭Priya Viswanathan,萍Yeung重置验证架构是出了名的复杂和困难。今天的soc包含高度复杂的重新分布和同步电路。通常,重置树木可以大于时钟树和许多相同的潜在问题。验证设计下能正确重置所有的操作模式,提出了价格…»阅读更多

在SoC设计中解决的挑战重置验证
通过导师,西门子业务11月- 13,2019 -评论:0

介绍了常见挑战参与重置树验证及其解决方案。我们制定一个三部分的方法来构建一个完整的解决方案,结合静态分析的设计结构,与X-propagation RTL模拟,正式的验证。本文包括结果测试这个解决方案在一个客户的设计。阅读更多,请点击这里。»阅读更多

得到一个完整的汽车软件
通过马克西米利安Odendahl- 3月28日,2019 -评论:0

汽车行业正在经历一次重大的中断,通常称为转向自动化,连接,电气,和共享车辆(ace [1])。当然,这些变化也产生重大影响的要求这些新车的硬,软件架构:面向服务的软件架构由多个应用程序使用运行在忠利……»阅读更多

为c#应用程序开发测试
通过Synopsys对此- 9月28日,2016 -评论:0

静态分析不应该寻找大量的编码风格或标准问题。它应该专注于找到最关键的缺陷。虽然传统的字节码分析解决方案,比如FxCop是有用的,他们可以错过关键,事故导致缺陷——+生产大量的编码风格问题,可以减缓开发团队。学习Coverity开发T…»阅读更多

←旧的文章

  • 赞助商

关于

导航

与我们联系

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