中文 英语

超越Bug搜索:从安全到认证的验证覆盖


了解验证覆盖率对于满足IC完整性标准至关重要,并且远远超出了检测设计中的错误。如果没有适当的验证覆盖指标,可能无法达到严格的安全标准和认证。精确的度量可以指出验证中存在的差距,并提供验证工作中所取得进展的清晰视图。有限公司…»阅读更多

正式验证SystemC/ c++设计


我们看到越来越多的设计使用了SystemC/ c++。这并不奇怪,因为在许多大型半导体和电子系统公司,已经出现了特定的使用模型,以推动工程团队之间的共同设计流程,从而采用高级合成(HLS)。这些HLS工具是快速生成设计组件的流行方法……»阅读更多

验证RISC-V核心的功能、安全性和信任的方法


现代处理器设计提出了一些最棘手的硬件验证挑战。这些挑战对于RISC-V处理器核心设计来说尤其严峻,因为它有大量的变体和实现来源。本文描述了一种可用于RISC-V核心提供商和集成这些核心的片上系统(SoC)团队的验证方法。它……»阅读更多

物联网安全:混乱和碎片化


物联网(IoT)设备的安全法规在世界各地都在发展,但没有一套统一的要求可以在全球范围内应用,而且可能永远都不会有。今天存在的是一个认证实验室和标识的拼凑。这使得物联网设备设计师很难知道从哪里获得安全保障。不像在数据中心,那里有一个…»阅读更多

SoC验证从预制到空中更新


最近对系统基础设施的新攻击突出表明,如果忽视适当的预防措施,供应链中的硬件漏洞不仅是可能的,而且是不可避免的。整个供应链的验证是必要的,以确保硬件的安全性。开始早在预制阶段,漏洞,如果不加以检查,可以是一个o…»阅读更多

周回顾:汽车,安全,普适计算


普适计算——物联网、边缘、云、数据中心和后台PC制造商戴尔科技将VMWare 81%的股权剥离给两家独立的上市公司。VMWare成立于1998年,提供管理网络、应用程序和云/数据中心的软件。VMWare将为其投资支付特别股息,这将为戴尔带来93 - 97亿美元的股息,用于削减戴尔的投资……»阅读更多

周回顾:汽车,安全,普适计算


普适计算——物联网、边缘、云、数据中心和后台Arm宣布了其Armv9架构,该架构专为安全、普适计算而设计,可在更多类型的人工智能系统中运行。因为在不久的将来,无论是在边缘、物联网还是数据中心,大多数数据都将接触基于Arm的芯片,除了提高性能和AI/ML能力之外,Arm还增强了安全性。»阅读更多

对集成电路弹性的需求推动方法的变化


要求安全性、安全性和弹性的应用程序正在大规模地推动设计、验证和芯片长期可靠性的新思路。对芯片的需求正在增长,这些芯片可以更快地、更长时间地处理更多数据,而且通常在不断缩减的功耗预算范围内。这反过来又迫使在架构、设计、……等多个层面上发生变化。»阅读更多

用于硬件保证的自动硅前IP可信度评估


OneSpin Solutions & The Aerospace Corporation的Sergio Marchese和John Hallman发表的论文。集成电路设计包括可能包含硬件木马的内部和第三方知识产权。一个独立的、可信的、完整的IP模型,适合于使用商业上可用的IP寄存器传输级别(RTL)代码进行自动化的正式比较。»阅读更多

2020年顶级科技视频


2020年将是大动荡、新兴市场甚至某些行业需求增加的一年。因此,关注人工智能、平衡功率和性能、高级节点的设计和制造、高级包装以及汽车相关主题的视频最受欢迎也就不足为奇了。在今年发布的68个视频中,以下是在电子领域观看次数最多的视频。»阅读更多

←老帖子 更新帖子→
Baidu