Questa®安全检查

questa安全检查图标

全面验证关键硬件存储的安全路径

Questa Secure Check应用程序是一个完全自动化的解决方案,用于彻底验证只有您指定的路径才能到达安全或安全关键存储元素,即。正式证明你的职责是神圣的”信任的根源。”不需要了解形式或属性规范语言。

白帽子黑客攻击无法扩展

无论它是用于移动支付的私人加密密钥,机顶盒用户身份验证,一个米兰航空通信系统,或患者的治疗参数存储在起搏器内;验证对安全存储元素的硬件访问是一项具有挑战性和关键性的任务。的确,对于安全关键系统,如汽车ECU或医疗设备,除了来自外部黑客的风险外,设计者必须确保意外的副作用或错误不会无意中损坏关键数据。

不幸的是,这个问题最流行的解决方案就是不能扩展。简单地说,随着电路复杂度的增加,保护存储元件的关键路径的专家检查效率迅速降低。另外,即使是设计得最完善的约束随机仿真环境也不尽如人意。

最后,请注意,为这个问题手动配置标准的正式方法是繁琐的。简而言之,对于每个路径(1,000年代!;而且,用正常的断言和形式化的方法来检查连接是否缺失是不可处理的。

Questa安全检查
Questa Secure Check应用程序将您的RTL和Secure Storage&Path规范作为输入,并且自动化正式技术,以彻底证明只有您指定的路径才能到达安全或安全关键的存储元素。不需要了解形式或属性规范语言。

解决方案:questa安全检查

使用RTL和明文,人机可读的电子表格,指定安全/安全关键存储和允许的访问路径作为输入,Questa Secure Check应用程序自动化了正式技术,彻底验证了这些元素的真实性,即证明“的RTL段“信任之根”是声音。为了加快分析和/或最小化正式编译和运行时间,应用程序支持“黑拳明确无关的IP和路径,以保持对安全通道的关注。结果:一个详尽的设计完整性证明和/或清楚的反例,表明如何违反您的规范。

特征

  • 全面验证设计中安全/安全关键数据的完整性
  • 确保敏感数据寄存器不能被非法读取,强制覆盖,或间接篡改
  • 自动识别和验证安全数据寄存器的所有直接和间接路径
  • 波形和生成的示意图精确地显示了黑客可以用来破坏您的设计的控制信号和数据路径。
  • “证人痕迹波形还可以准确地演示安全数据如何安全地按预期传输DUT。

效益

  • 详尽的,可扩展验证
  • 易于设置–无需了解正式或断言
  • 规范和DUT之间的任何差异都可以通过反例波形和示意图明确定义。
闲聊γ 接触