验证和物联网

半导体工程坐下来讨论物联网将会产生什么样的影响在设计周期,主任Christopher无法无天,外部客户加速英特尔的软件服务集团;大卫·莱西设计和验证技术专家惠普企业;吉姆•霍根Vista的管理合伙人企业;高级产品管理组主管弗兰克Schirrmeister系统&验证小组节奏。以下是摘录的谈话。

SE:你有多大验证问题是怎样改变的?

莱西:这取决于这个项目。我们的一些芯片是非常大的节点控制器芯片进入我们的高端服务器。这些需要数年时间来开发,非常独特的挑战。然后我们有了更多的power-conscious可能进入一个媒体控制器的设计。那些把自己的需求。我们调整为每个项目的具体要求特定的芯片我们正在努力。时间表和其他资源的约束,我们拉。但是我们看看这些作品,我们尽量保持一致的验证方法。使我们重用IP或VIP跨项目。我们有大量的基础设施,使我们能够跨项目分享代码。 Our verification problem is large. The cost of silicon is increasing dramatically as you go to smaller nodes.

无法无天的:我们的验证问题是加剧了进度压力下我们的期望摆脱这些处理器更快的节奏。我们有各种产品,从服务器,需要一定程度的验证,一直到物联网设备。我们面临的挑战是运用正确的验证水平得到正确的等级的品质在这个数组的设备。有非常不同的时间表,时间表和利润率和成本参与这各种各样的设备。

Schirrmeister:回顾报告去年年底从联发科验证不同的需求和优先事项,演讲者认为什么是优先级远远不仅仅是性能、权力和区域。他补充说攷虑升级功能的列表。如果你在一个大型基础设施项目与100万年边缘节点,你不能发送人换掉所有的灯泡和做所有的升级。医疗物联网工业物联网和安全,安全是至关重要的。这些更改验证流。超出PPA,添加大量的其他优先事项。在流动,有共性,但我们正在与特定的流动。所以你需要串行总线虚拟和真实的接口在服务器领域。从供应商的角度来看这是一个挑战,开拓大家的共同使用和应用程序流的特异性。

霍根:从我的角度来看,这是我要投资什么。我所感兴趣的是edge-based设备和自主设备带来的优势。包括传统的验证以及验证的设备,能够节省大量的能量。这可能包括模拟美国有线电视新闻网。你打算如何验证?你将如何确保及时可靠吗?质量和可靠性随时间在安全中发挥作用,他们会扮演一个角色。和它要花多少钱?验证现在是一个不受控制的成本。这将使它更昂贵给市场带来创新。如果是这种情况,它可能会禁止我们推出产品,我们的梦想。有很多关于验证的问题,不仅今天我们所拥有的,但这些低功耗非常特定于应用程序的产品。

SE:这是我们之前所做的一切,加上我们有所有这些新事物。这做什么验证周期的覆盖率和投放市场的时间?

无法无天的:一个方面是混合信号。我们做了一个很好的验证,使用各种功能和工具,特别是pre-silicon数字。但当我们看到更多的混合信号集中在这些设备,引进大量的模拟组件,它变成了一个更大的挑战来完成,在这个过程中早期。如果你要等待硅做很多工作,你已经浪费了很多宝贵的时间。试图把它和拥有一切完成和验证当硅到达很关键。我们还没有破解,螺母,但是我希望我们可以解决它。

莱西:我们常常有挑战,当我们详细的模拟模型。我们投资于混合模型,使我们能够得到我们的验证环境的完整生态系统和测试到位,这样我们得到的数字逻辑,它是如何将接口与我们相信将是模拟逻辑。然后,当真正的模型显示,我们可以滑动。在这种情况下我们花更多的工程,但是我们储蓄计划,这是我们的目标。

霍根:我想这是在模拟行为模型吗?

莱西:绝对的。我们尝试创建这些混合模型所以他们尽可能重用代代相传。

Schirrmeister在不同的层次:模型是至关重要的。物联网的一个问题是如何模拟和模仿在一起。可以有多个芯片连接的模拟。我们在仿真和模拟用户这样做,连接多条硅在他们的模型一起模拟混合信号。这是一个有趣的挑战从IP提供商的角度来看,,因为有谁做这些模型的问题。不容易保持各级同步。

SE:我们处理新概念。在10/7nm有先进的芯片。我们可能会增加光子。也有新包装。这个东西之前从未在市场上,有些应该持续10年或更多。我们可以做这个工作吗?

霍根:最明显的一个是汽车。汽车在北美的平均寿命大约是20年。想想很多事情改变了20年。今天你怎么能可靠地预测20年后应该检查什么?必须有一种方法。今天,如果你公园特斯拉在车库里,第二天它可能有一个新的界面。这将是常态。事物不仅要被验证的初始分布,但他们也必须可核查。数字方面我们知道怎么做。但是如何在模拟方面吗? That’s going to be very difficult because you’re probably not going to change the analog much. It’s going to be programmed one time to be shipped a million times for a specific application. How do you deal with that problem over time? That’s the reliability and safety problem.

Schirrmeister:这是整个的想法DFT(设计测试),测试结束时,我们有一个DFT过程安全。功能安全是一个巨大的问题如果你正在做一个ADAS或娱乐设计。ISO 26262突然非常重要。它已经成为一个问题的应用领域需要满足这些标准,这就是流必须调整和合并。

霍根:你的意思是特定于应用程序的验证吗?

Schirrmeister:正确的。

莱西:取决于产品的质量。很多时候我们的架构可以帮助提高我们的产品质量的特点。与我们的高端服务器,客户期望巨大的正常运行时间。他们不能去。是非常重要的我们构建功能,如果错误发生在内存中,他们会被纠正。或者技术人员把错误的电缆维护周期,我们需要能够绕过。沿着线的安全,如果我们发展中技术光纤增加带宽和较低的足迹。但是有安全方面,使用激光。周围有很多逻辑我们开发这些设备以确保他们是安全的使用环境。

图1:正常运行时间很重要。来源:HPE

SE:服务器用于被换出每2 - 4年。这还是一样的吗?

莱西:预算继续把压力放在公司。他们想要使用他们的设备越来越长。因此我们看到设备所使用的时间更长。

SE:那么,我们如何建立芯片持续时间更长?

无法无天的:芯片越来越复杂。之间有一个权衡综合测试和随机测试,真的可以永久。为了实现质量,你必须了解它,它是做什么用的,把一个由外向内的方法,你关注那些用例集是如何被使用的。你需要理解的软件上运行的设备。你需要缩小问题,你们永远不会窄fully-so你可以关注验证在这个上下文。解决几个问题。你可以去市场,你可以做更深入的测试,以确保它能正常工作。

SE:软件是一个有趣的讨论的一部分。软件更新频繁,很多担忧安全回滚到硬件。我们如何验证一切都会工作,确保我们仍然可以保持系统当前的软件更新吗?

霍根:这是特定于应用程序的验证。如果你考虑一个智能手机,公司所做的就是把芯片他们开发和运行所有软件与此相反的是,发现错误,修复它们,并确保它工作。手机没有长lives-maybe三个安息在三年内可能会有变化。允许公司带来芯片每九个月。但如果你为各种建筑芯片市场,这是一个不同的问题。你必须建立特定于应用程序的验证,你可以缩小它,你越好。问题是,除非你有高容量变得昂贵,所以这将是一个挑战。

莱西:当然有安全问题的更新。我们提供成千上万的人们在他们的数据中心部署服务器。管理和可升级性,以及如何确保只有您的固件上运行,而不是一些流氓固件是一个关键环节。我们有自定义管理asic,允许客户来控制。有这些芯片内置安全功能,以确保只有我们信任的软件将在我们的服务器上运行。安全是一个越来越多的方面发展,甚至只是在你进入服务器市场的物联网空间。

Schirrmeister我们使软件更新。经常在软件你想这样做,但这是通常的软件升级时袭击发生,得到错误的升级。这是一个很大的关心最终消费者。从供应商的角度来看,我们试图使安全的断言。你不知道你的芯片吗?是越来越难以定义场景的芯片是什么应该做,但更重要的是芯片不应该做什么?和它是如何反应在其正常运行。

有关的故事
验证和物联网(第2部分)
什么是足够好,当你知道你在那里吗?
反思验证汽车
第二个两部分组成:规模经济,为什么不工作在安全至上的市场。
2017:工具和方法论的转变(第2部分)
系统定义驱动工具开发,大的变化将在功能验证。
系统级验证处理的新角色(第2部分)
小组成员讨论混合不同类型的系统,要求模型不连续和常见的刺激和调试的需要。
应对物联网安全
更新连接设备创建一个全新的挑战,继续发展的威胁。