,®安全检查

,安全检查图标

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

,安全检查应用程序是一个完全自动化的解决方案详尽的验证,只有您所指定的路径——即可以达到安全或关键安全存储元素。正式证明dut的神圣性”根的信任。”没有正式或知识产权规范语言是必需的。

白帽黑客没有规模

不管它是一个私人移动支付加密密钥,机顶盒用户身份验证,milaero通信系统,或病人的治疗参数存储在他们的心脏起搏器;验证硬件的访问安全存储元素是一个具有挑战性的和关键的任务。的确,安全关键系统——比如汽车ecu或医疗设备——除了从外部入侵的风险,设计师必须确保意想不到的副作用或错误不能无意中腐败的关键数据。

不幸的是,最受欢迎的解决这个问题就没有规模。简单的说,专家检查关键路径安全存储元素迅速减少效率随着电路复杂性的增加。另外,即使是最精心设计的constrained-random不是详尽的仿真环境。

最后,请注意,标准的正式方法繁琐的手动配置这个问题。简而言之,一个需要手写断言为每个路径(1,000年代!);并检查没有连接不正常的驯良的断言和正式的方法。

,安全检查
,安全检查应用程序需要你的RTL和安全存储和路径规范作为输入,正式和自动化技术,详尽的证明,只有您所指定的路径可以达到安全或安全关键存储元素。没有正式或知识产权规范语言是必需的。

解决方案:检查,安全

用你的RTL和明文,人类和机器可读的电子表格指定安全/安全至上的存储和允许访问路径作为输入,,安全检查程序自动化正式技术详尽验证这些元素的神圣性——即。证明的RTL段”根的信任”是合理的。加快分析和/或减少正式编译和运行时,应用程序支持“黑箱”显然无关的IPs和路径保持专注于安全通道。结果是:一个详尽的证明你的设计的完整性和/或明确的反例说明你可以违反规范。

特性

  • 详尽的安全/安全关键数据的完整性验证设计
  • 确保敏感数据寄存器不能非法读取,有力的覆盖,或间接地篡改
  • 自动识别和验证所有直接和间接路径安全数据寄存器
  • 波形和生成的图表显示精确控制信号和数据通路,黑客可以使用你的设计妥协
  • ”证人跟踪”波形也可以演示如何安全数据可以安全地运输你的DUT的预期

好处

  • 详尽,可伸缩的验证
  • 容易安装——不需要知识的正式或断言
  • 规范之间的任何差异和DUT明确反例波形和图表
聊天| 联系