,®硅后调试

硅调试图标

使用正式的分析快速根源后硅和验证修复的bug

,邮报硅调试应用程序利用正式的分析,以及属性合成,快速给你你所需要的可观测性bug的逻辑根源深处SoC,并证明修复不破坏任何东西。

“3点电话””

带出的最后期限只有几天当你得到一个电话,每一个dv工程师害怕:模拟团队报道DUT完全挂在处理一个意想不到的,但完全合法的角落。挂断电话后,看你的邮件列表消息从你的老板,和你老板的老板——压力尽快修复这个bug(并确保没有其他在此过程中得到解脱的)!最紧迫的挑战是“可观测性”:即使你立即怀疑某一集群或IP是罪魁祸首,设置特定的初始测试条件的能力,探针,和constrained-random刺激到DUT的内部区域由于SoC是一个真正的挑战是在其完全实现状态。

,硅后调试
,邮报硅调试应用程序利用,财产检查(PropCheck)迅速给你你所需要的可观测性根源在逻辑深处SoC bug。一旦解决了,新代码可以被正式证明修复bug和确保没有无意中创建不必要的副作用。

解决方案:,硅后调试应用程序

曾经断言描述所需的行为被合成到DUT车载借助硬件验证平台,,邮报硅调试应用程序利用formal-based,财产检查应用程序(PropCheck)错误寻找观察到失败的根源。

特性

  • 帮助用户分类和验证后硅硅的失败
  • 正式探索所有可能的输入的刺激,交易和外部事件的组合
  • 发现单身,多个或组合的根源故障场景
  • 验证RTL有效修复和完全地址失败

好处

  • 增加了根深蒂固的逻辑的可观测性,启用快速隔离问题的区域
  • 快速失败根源
  • 详尽的验证补丁解决给定的问题,和不创建任何新问题
聊天| 联系