中文 英语

标签:静态分析

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

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

调试嵌入式应用程序
通过安Mutschler- 2021年11月10日-意见:0

随着硬件和软件之间可观察到的和可能的交互的数量不断增长，以及越来越多的功能被塞进芯片、包和系统中，调试嵌入式设计变得越来越困难。但在这方面似乎也有一些进步，涉及多种技术，包括硬件跟踪、基于扫描链的调试，以及更好的模拟……»阅读更多

基于Ansys RedHawk-CPA的芯片封装协同分析
通过有限元分析软件- 2020年11月11日-评论:0

Ansys RedHawk- cpa是一款集成的芯片-封装协同分析解决方案，可以快速准确地建模封装布局，并使用Ansys RedHawk进行片上功率完整性仿真。使用RedHawk- cpa，设计人员可以在RedHawk静态和动态分析之后分别对封装布局进行静态IR跌落分析和AC热点分析。为了确保可靠…»阅读更多

重新思考你减少辐射的方法
通过Mentor是西门子旗下的企业- 2020年6月3日-评论:0

形式化验证和自动化为高辐射环境中使用的FPGA设计提供了有效、高质量和可重复的故障分析、保护和验证过程。本文描述了一种基于形式化验证结构和静态分析的自动化系统方法，用于识别设计对辐射诱发故障的敏感性。阅读更多，clic…»阅读更多

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

Synopsys应用工程高级经理Sal Alvarez解释了安全验证与功能验证的不同之处，故障模式影响分析的变化，以及如何确定和验证安全特性的有效性。»阅读更多

ML处理器的功耗挑战
通过布莱恩•贝利- 2020年3月12日-评论:0

人工智能(AI)芯片或机器学习(ML)系统的设计要求设计师和架构师使用书中的每一个技巧，然后学习一些新的技巧，如果他们想要成功的话。可以称之为风格，也可以称之为架构，有些设计就是比其他的好。当涉及到权力时，有很多方法可以让小的改变产生大的变化....»阅读更多

完成重置行为验证的三步
通过克里斯·郭- 2019年11月14日-评论:0

重置架构是出了名的复杂且难以验证。今天的soc包含高度复杂的复位分布和同步电路。通常，重置树可能比时钟树大，并且存在许多相同的潜在问题。验证设计可以在所有操作模式下正确复位具有重要意义。»阅读更多

解决SoC设计中复位验证的挑战
通过Mentor是西门子旗下的企业- 2019年11月13日-评论:0

本文介绍了重置树验证中常见的挑战及其解决方案。我们提出了一个由三部分组成的方法来构建一个完整的解决方案，该解决方案结合了设计结构的静态分析、带有x -传播的RTL模拟和形式验证。本文包括在客户设计上测试该解决方案的结果。欲了解更多，请点击这里。»阅读更多

全面了解汽车软件
通过马克西米利安Odendahl- 2019年3月28日-评论:0

汽车行业目前正在经历一场重大变革，通常被称为向自动化、互联、电动和共享汽车的转变(ACES[1])。当然，这些变化也对这些新工具的硬件和软件体系结构的需求产生了重大影响:运行在通用平台上的多个应用程序所使用的面向服务的软件体系结构……»阅读更多

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

静态分析不应该是关于寻找大量的编码风格或标准问题。它应该集中于发现最关键的缺陷。尽管传统的字节码分析解决方案(如FxCop)很有用，但它们可能会遗漏关键的、导致崩溃的缺陷——再加上产生大量的编码风格问题，这会减慢开发团队的速度。了解如何Coverity开发T…»阅读更多

←老帖子

  • 赞助商

关于

导航

与我们联系

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