Questa®硅后调试

硅调试图标

使用形式分析快速找出硅后错误的根源并验证修复

Questa Post Silicon Debug应用程序利用形式分析,以及性能合成,为了快速为您提供可观察性,您需要在SOC内部的逻辑深处根除错误,证明修复不会破坏其他任何东西。

“上午3点电话“

当你接到一个每个D&V工程师都害怕的电话时,只有几天的截止日期了:仿真团队报告在处理意外事件时,被测设备完全挂起。但绝对合法的角落案件。挂断电话后,浏览一下你的电子邮件,列出你老板的信息,还有你老板的老板——压力很大,要尽快解决这个问题(并确保在这个过程中没有其他事情不被解决)!当前的挑战是”可观测性:即使您立即怀疑某个群集或IP是罪魁祸首,设置特定初始测试条件的能力,探针,考虑到SOC处于完全实现状态,限制随机刺激以到达DUT的内部区域是一个真正的挑战。

Questa后硅调试
Questa Post Silicon Debug应用程序利用Questa属性检查(PropCheck)快速为您提供在SOC内部逻辑深处所需的根本原因错误的可观察性。一旦开发出修复程序,新的代码可以被正式证明既可以修复bug,也可以确保不会无意中产生不必要的副作用。

解决方案:Questa Post Silicon调试应用程序

一旦描述所需行为的断言被合成到DUT的硬件辅助验证平台上,Questa Post Silicon调试应用程序利用基于Questa属性检查应用程序(propcheck)查找所观察到的故障的根本原因。

特征

  • 帮助用户对硅中的后硅故障进行分类和验证
  • 正式探索所有可能的输入刺激,外部事件的交易和组合
  • 找到单一的,故障场景的多种或多种根本原因组合
  • 验证RTL有效且完全地修复了故障

效益

  • 为深入嵌入的逻辑增加了可观察性,能够快速隔离问题区域
  • 快速根本原因故障
  • 彻底验证解决方案,解决给定问题,不要创造任何新的问题
闲聊γ 接触