平行的工具有意义吗?

半导体工程坐下来讨论并行化的努力在EDA和安德里亚·Casotto Altair首席科学家;产品管理组主管亚当•谢尔系统&验证群节奏;哈里·福斯特的首席科学家导师西门子的业务;弗拉季斯拉夫•Palfy,全球应用工程经理OneSpin;首席Oski Vigyan Singhal Oski技术;和比尔马伦,高级研发主管有限元分析软件。以下是摘录的谈话。第一部分,点击在这里。

SE:模拟使用大规模并行化。为什么我们没有更成功采用模拟成千上万的机器吗?

谢尔:我们已经成功与成千上万的机器。

马伦那是运行单独的模拟吗?

谢尔:是的。

Casotto:你想要一个模拟10000核吗?为什么不跑10000模拟呢?

福斯特:它回到细粒度和粗粒度。当然,我们把大量的模拟多台机器上,运行自己的测试。当你到达细粒度时,它又回到了三个标准。

SE:一个模拟器不在乎是否平衡。

Casotto:这就是为什么仿真是破坏性的。出路和使用完全不同的方法来模拟芯片使用软件,而不是硬件。之间的通信元素有不同的成本。我无法想象打破芯片模拟成10000块小模拟器和管理之间的通信。

马伦:即使你可以这样做,这不是可伸缩和功率效率将是可怕而连续运行。

谢尔:Rocketick针对性的gpu。实际上是你所说的关于成千上万的计算元素。GPU的困难是不专用模拟一个模拟器。划分计算元素的能力,找到脱落,适合GPU的计算环境是非常昂贵的,和GPU架构改变代代相传。所以建立一个一致的软件跟踪是具有挑战性的。有一个备用的挑战只是运行在x86或手臂多处理器环境中,但回来粗粒度和细粒度的计算。你能想出软件算法,找到了吗?什么是用户期望看到8 cpu 8 x的性能,和他们没有计算到每一个都有独立的内存或总线子系统以及它们之间不同层次的沟通。

福斯特:还有一个串行部分的代码是必需的,你不能并行化。

谢尔:在一个仿真环境,跑得快,但采取,并试着编译它在仿真运行在多个处理器可能并不能获得的性能提升。

Singhal:你可以并行化测试或断言,但仿真——我不知道要做什么。

Palfy:你提到云计算。有很多的公司负担不起自己的农场。我们有云解决方案,实现安全消费进入云计算和他们需要的计算能力,但是它引发了一个问题,就是安全。我们保证数据不能拦截,不能解释,和人们愿意保持财政网上,他们的公司数据,但如果你问他们上传一个编码验证问题,他们会非常担心。有选择的人做到这一点,但它是很困难的。

Singhal:这是更敏感的财务信息。

Palfy:人们可以有我的信用卡,但不是我的FIFO。

SE:模拟是一个范式转变在解决一个问题,过去有硬件加速器,例如布局和其他应用程序。但它太贵了,今天看看这些市场机会?

马伦:Verilog模拟有着非常广阔的市场,每个人都需要它。不是改变迅速,所以你可以有一个模拟器的体系结构将住一段时间。但是如果你想专门的硬件place-and-route或电路模拟器,好像ROI是不存在的。你也有同样的能力问题。你让它多大?

福斯特:很长一段时间在我的职业生涯,我们用来创建自己的工具。你总是遇到这样一个情况,你有一个类的设计,你将不会看到通过使用并行技术改进。

Casotto:客户知道模拟器的局限性。他们知道的东西可能需要两个小时到八小时。他们组织设计围绕这些限制。的方法变得越来越复杂,而不是简单的,这就是为什么我们可以帮助他们管理这些复杂的方法和所涉及的依赖关系。如果他们想在一夜之间完成他们的设计,这是一个很好的目标,然后找到一个方法。

谢尔:鸡肉和鸡蛋。工程团队可能缩小测试因为计算环境只能模拟,但是现在测试变得几乎毫无用处,因为它太窄,而不是测试互操作性的芯片或全部功能。

福斯特:我们的目标是能够在早上开始调试,当你到达那里。

谢尔:没错。所以我们说你需要重建您的测试和模拟。所以,它不是鸡肉或鸡蛋,鸡肉和鸡蛋。这是一个传教士出售和需要时间。一旦售出,你得到额外的好处,因为现在他们摆脱了感知的局限性。他们可以改变他们的测试环境。他们可以测试不同的东西。他们是开放的新思想。

福斯特:一直都是这样。周期得到越多,你越消费。

Palfy:你不觉得要更高的抽象也将有助于减少你想解决的问题?SystemC,人们可以用仿真验证,正式。它减少了问题。

谢尔:管理得当,是的。一个关键概念是你不正式的你跑在模拟运行。它必须是“不是”。你段问题,这样你可以利用正式的,然后不吃这些周期。你会别的地方使用它们。它是水平分布和并行性。抽象也是一种价值,只要你利用它和覆盖不同的东西,而不是仅仅重复相同的事情。

SE:多少人做投机执行测试知道他们会扔掉很多吗?当您运行连续,你知道没有必要运行后续测试。

Palfy:在某种程度上他们会,但我们做事情之间的权衡与蛮力,用聪明的方式。如果你有一个聪明的方式,那么你不需要并行化。我们的目标是尽快找到bug。如果这意味着你浪费一些周期,那么,不如做一个接一个,找到更晚。你想左移位。如果这意味着你发现bug更快,值得浪费资源。

马伦我已经处理验收和周转时间。如果你能做些什么在一夜之间,是一个典型的周期,所以人们运行尽可能过夜,早上来做分析。如果你削减通过并行性4个小时或两个小时,然后他们可以做更多的事情,提高设计更快。这是我们的目标。提高了10%买不来,但如果你可以做2 x设计的数量增加了一天。你还是要看整个流程,因为有很多不同的工具,你必须得到数据流。这不仅仅是一个引擎运行很快。

福斯特:你总是可以有情况你在做串行模拟和你发现一个错误在最后一个,如果你跑,同时你会节省很多,改变了的是等待时间。

谢尔:在这两个数字或模拟常见的影响是,有人在恶意代码检查,所以如果你的农场看到10%的失败,最好看到他们在第一个比最后连续半小时。这确实意味着冒烟测试是好的,连同其他预先检验活动。

Casotto:每个人都同意工作负载管理。还有另一个唾手可得的减少浪费的模拟。如果你运行一切昨晚和你做一个小变化,它是好的,如果你有数据分析可以知道哪些部分小的变化影响。而不是运行一切,是可能的和很高兴重新运行子集的影响变化。

Palfy:任何正式运行是好的,它提供了一个完整的证明。模拟可以浪费。正式的告诉你它是否很好。但你仍然需要适当的代码的管理。

SE:我们能创造更好的工具如果并行的硬件越来越意识到吗?

谢尔:我不认为有足够的焦点放在并行硬件算法themselves-rethinking算法,我们将到芯片所以他们是解耦的,这样他们就可以独立运行。有固有优势的性能和计算速度,会来的,但是很多我们今天所看到的系统非常分组通信、线性data-to-data通信甚至在数以百计的IP的设计组件。需要转变的一些设计思考。将贷款本身更好的快速仿真和模拟?我不确定这样做模拟,但是我们作为一个行业需要开车。与这个概念,我们一直在苦苦挣扎。我回到循环模拟,产业转移到它的压力下,但我们利用吗?一个客户?他们不会导致工业设计技术和放弃IP。

福斯特:我同意,但面临的挑战是,在任何design-Arm,英特尔,不管这里是如此多的遗产,和每一个设计是一个迭代的遗产。人们不愿意把东西扔出去。但这带来了问题的一部分。我们不能思考,直到我们可以按下按钮,重置这个遗产。

Palfy:可能对于一些细分行业。如果你有新的安全标准,遗留代码只是不会削减它。所以他们不得不重做一遍,这是一个很好的机会来用一个新的方法。

谢尔:汽车是最坏的情况。有设计的IP块,他们的声音,10岁。他们不是被取代,它将会是另一个10年。现在你周围包裹安全,但这些IP块不会消失,因为他们是值得信赖的。

Palfy:在使用听起来像模拟正式的信任。它没有崩溃到目前为止这一事实并不意味着它不会。

谢尔:压力将来自业内新来者。他们有新的IP,这会打乱了购物车。但通过半导体和环境遗产的概念建立在它是一个挑战。没有简单的答案。重新运行所有的香料?你什么时候相信高层模型吗?你信任他们,描述他们如何?我们必须回答的问题。我们需要抽象。我们看到门级仿真结果中存在复苏基于恐惧。

Casotto:设计团队知道工具的局限性,他们适应它。

谢尔:有一个设计和工具之间的良性循环。

Palfy:是的,这是客户把限制,迫使我们发明新东西。