行业新闻 (News) 芯片封装主页/ 行业新闻 / 知识产权:信任但要验证
< 返回列表

知识产权:信任但要验证

对于那些围绕微电子元件行业多年的人来说,我们已经看到了能力的转变,供应链的采购,以及现在对我们这个世界推动技术的这些设备的威胁。

IC集成电路(IC),集成电路(IC),集成电路(IC),集成电路(IC),集成电路(IC),集成电路(IC),集成电路(IC)通常被称为第三方知识产权(3PIP)。

通过设计和生产诸如Apple iPhone和F-35战斗机等主要系统等主要系统,这种全球化的例子是显而易见的。类似的专业,包括美国,荷兰,挪威,加拿大,澳大利亚,英国,土耳其和意大利在内的几个国家都是Apple iPhone 主要供应商的供应商 。 F-35 。

随着系统,组件和供应链的复杂性都在增加,对抗性篡改的机会引起了越来越多的关注。

虽然篡改的动机明显,但几乎没有人认为今天的微电子比过去多得多,并为攻击者提供了肥沃的机会。在2018年末,彭博报道此前,在2018年初,Meltdown和Spectre成为头条新闻,因为研究人员揭露了现代微处理器中一种称为投机执行的漏洞。

甚至在早些时候,报告还详细说明了由于存储芯片故障导致俄罗斯探测卫星发生故障。进一步的分析称,芯片是针对芯片的伪造品。虽然它们的实现,意图和效果各不相同,但它们展示了我们的系统今天所暴露的漏洞样本。概括了系统和集成电路级别的漏洞对手是将硬件特洛伊木马 - 不需要的或未知的功能 - 放入IC而无需检测的绝佳机会。

信任,但要验证 - 来自一句古老的俄罗斯谚语,后来被永久化为总统用语 - 可能再次成为我们所寻求的指导。漏洞的集成者可能会在未来实现安全系统,但所有的希望都不会丢失。 3PIP到IC必须监控这些模块的合规性,而不会增加已经具有挑战性的过程的时间和复杂性。

攻击者通常会识别“滥用”案例和审议目标传统的硬件验证包括模拟和仿真,并受到矢量集和测试尽可能多组合的时间的限制。此功能验证侧重于系统使用并错过了许多极端情况。隐形植入物意味着未被发现。

硬件形式验证也有其状态空间检查的限制。但是,当形式证明完成时,正式方法将知道,使用断言,可以检查某些功能并确认是否存在所需的指定属性。需要在3PIP验证过程中具有重要作用的高容量正式引擎,但仅此一项可能还不够。需要新的专用EDA 解决方案来衡量设计的可信度并在系统中检测特洛伊木马新的验证技术必须将“自动化和专业知识”封装在“引擎盖下”。

随着我们接近新产品,技术和任务的门槛,如自动驾驶汽车5G蜂窝网络和太空飞往火星,我们必须确保这些系统的3PIP功能正确,安全,可靠和值得信赖。 OneSpin提供的解决方案可确保下一代,最大和最复杂的IC的完整性。

· 2019-05-31 20:15  本新闻来源自:semiengineering,版权归原创方所有

阅读:995
  • 联系长芯

    重庆总部:重庆市长寿区新市街道新富大道5号佳禾工业园8栋2层
    电话:023 40819981 (前台)

    深圳办事处:深圳市南山区留仙大道 1213 号众冠红花岭工业南区 2 区 1 栋 1 楼
    电话:0755-26975877 (前台)

    电子邮件:sales@longcore.com

    网址:http://www.longcore.com