中文 英语
德赢vwin
白皮书

用于硬件保证的自动化预硅IP可靠性评估

使用扫描IP RTL代码的自动化工具来检测可疑或异常的代码模式和已知的特洛伊木马签名。

人气

纸张由Onespin Solutions&The Aerospace Corporation的Sergio Marchese&John Hallman提供。

集成电路设计包括内部和第三方知识产权,可以包含硬件特洛伊木马。独立,可信和完整的IP模型,适用于使用商业上可用工具的与IP寄存器传输级别(RTL)代码进行自动进行自动比较,可用于证明缺乏特洛伊木马。除了某些关键IP之外,这些模型通常不可用,例如RISC-V处理器核心。这些模型的开发可能是昂贵且耗时的。本文提出了一个不需要可信制的模型的IP可信度评估过程。该方法使用扫描IP RTL代码的自动化工具来检测可疑或异常的代码模式和已知的特洛伊木马签名。这种低努力,客观评估可能会检测特洛伊木马并提供警告,根据具体的项目情况,可能需要额外调查。该方法在含有硬件特洛伊木马的许多开源和专有测试设计上进行了说明。

点击这里去下载。



发表评论


(注意:此名称将被公开显示)