使用自动工具扫描IP RTL代码，以检测可疑或不寻常的代码模式和已知的木马签名。
OneSpin Solutions & The Aerospace Corporation的Sergio Marchese和John Hallman发表的论文。
集成电路设计包括可能包含硬件木马的内部和第三方知识产权。一个独立的、可信的、完整的IP模型，适合于使用商业工具与IP寄存器传输级别(RTL)代码进行自动化的正式比较，可以用来证明木马的存在。除了某些关键的ip，例如RISC-V处理器核心外，这种模型通常是不可用的。这些模型的开发可能是昂贵和耗时的。本文提出了一种不需要可信模型的知识产权可信度评估过程。该方法使用自动工具扫描IP RTL代码，以检测可疑或不寻常的代码模式和已知的木马签名。这种简单、客观的评估可以检测到木马病毒，并根据具体的项目情况提供可能需要额外调查的警告。这种方法在许多包含硬件木马的开源和专有测试设计上得到了演示。
点击在这里下载。
|
|
|
|
|
|
|
|
|
|
留下回复