验证和物联网

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

SE:我们真的能肯定地说,一个物联网设备将按计划工作吗?

莱西:这是关于报道排名。你可以做一个报道排名回归套件,发现有20个测试不提供任何增量的报道。你可以决定你不需要运行这些了。然后你看你的错误数据和发现一半的测试发现90%的bug。所以你不想只看一个方面。这就是深度学习和机器学习与验证将会发挥作用。你想看你的所有数据集,对其进行聚合,并看看它可以改善你的结果。一个指标我希望看到更多的数据是如何提高我们的效率周期。我不想运行周期运行它们。我想要有效和高效循环的模拟。

霍根人:似乎威胁出售模拟器。我的背景是模拟,我最好的朋友是我的香料引擎。我的营销人会问,‘你模拟的有多快?“我会告诉他这将是一个永恒。然后他会告诉我我有六个星期,这是他能做的最好。除此之外。我们会发现事情不被humans-relationships今天甚至不存在。我们会找到方法来节省电力,可靠性和安全性。我们即将发布的一些激动人心的时刻。

无法无天的:没有人会说他们想降低预算模拟和仿真和FPGA原型。这是相反的。原因是我们学习和理解。电源管理是复杂的流动。如果你建立UPF到每一个IP和设备,它变得非常复杂。你不只是随机运行周期。你在关注高级流。我们学习将努力确保高质量硅出来门口。

Schirrmeister:它没有深度学习深处找到最初的验证,但你肯定可以找到过去你不可能的事情。你不知道事情的行为。这就是机器学习将是至关重要的发现那些物品不会ordinarly看到一个团队的人。如果你看看fpga原型和模拟,得到的数据量是巨大的。有周期,从未看过。你生成几tb的数据,然后你磨练在感兴趣的点。但可能有一些发生在你不知道的其他数据。这将打开全新的机会。但与此同时,针对单一芯片复杂性的增长,为多个芯片连接在一起。这意味着我们都有大量的工作保障。 It won’t all be automated.

无法无天的:我有10个项目的列表,我今天不能工作了。需要工具不会消失。

霍根:我们正在经历一个大的社会变革,人们从一个制造基地转移到更多的知识工人。这是一个最重要的主题。会有需要验证工程师,一如既往。但也将机会挖掘这些数据,找到这些关系。机器人不能那么做。这就是我们必须作为一个社会,尤其是作为验证工程师。我们需要这些数据并利用它。

SE:几年前的短语是“左移位。“我们现在搬到“扩展吧,“我们必须遵循芯片一旦他们出了这个门吗?

无法无天的:是的。很容易当你有几年之间的版本。很多次你在验证周期中做出假设,但是你释放的是不同的东西。真的可以归结为规划能够灵活和构建到整个过程。从英特尔的角度来看,你可以指望新版本的操作系统硅释放后很快到来。我们必须与我们的合作伙伴紧密合作。我们必须确保很多接口正在维护和稳定。你希望能够长寿,硅,能够考虑这些变化没有任何问题。

莱西:很多,涉及到体系结构。你要想进一步了。我们不得不开始架构规划远远领先于我们的合作伙伴,他们仍在试图摆脱目前的产品,我们已经开始考虑下一个。但是现在我们有了进一步的思考哪些特性包括为了提供一块硅会持续更长时间。

Schirrmeister从验证的角度来看,你需要向右扩展到测试领域。我们一直在研究如何把测试流程以及如何重用早些时候的事情我们做的验证测试。它越来越广泛的左派和右派。

霍根:一个问题是超低功耗。这将是非常特定于应用程序的。但是你真的能给设计客户EDA平台,是一个特定于应用程序的硬件和软件堆栈栈?这将是一个难以解决的问题,但它会发生。

SE:所以EDA有所不同吗?

无法无天的:我们有一些相当显著不同。你必须计划更多,你必须认为未来。但底线是,几年前一切都是独立的。现在,你是一个系统的一部分。如果你考虑物联网,一个更大系统的一部分。你不知道会发生的交互。我们处理的方法之一是,我们必须确保我们上学的用法。如果你看那些用法从验证和测试计划的角度来看,甚至一个架构的角度来看,那么我们如何构建和正常运转在这些特殊环境。这是一个戏剧性的变化对英特尔。我们集中在哪里? Are we trying to find every potential random or synthetic bug—and we still do that kind of testing—or are we more focused on how is this going to be used. That has changed the whole validation and verification process. We’ve done a lot of things differently over the past several years.

有关的故事
验证和物联网
专家在餐桌上,第2部分:什么是足够好,当你知道你在那里吗?
验证和物联网(第1部分)
特定于应用程序的验证,为什么质量可能会有所不同从一个市场下;为什么不同模型在不同的时间准备。
验证统一(第2部分)
策略使用便携式刺激驱动正式和仿真,以及覆盖的共同点。
反思验证汽车
第二个两部分组成:规模经济,为什么不工作在安全至上的市场。
2017:工具和方法论的转变(第2部分)
系统定义驱动工具开发,大的变化将在功能验证。
系统级验证处理的新角色(第2部分)
小组成员讨论混合不同类型的系统,要求模型不连续和常见的刺激和调试的需要。