高级合成究竟发生了什么变化?

几年前,高水平的合成(HLS)可能是谈论最多的新兴技术。这将是一个新的电子系统的心脏水平(ESL)流。今天,我们听到更少在这一领域所取得的进步。

半导体工程和布莱恩·鲍耶坐下来讨论这个,工程主管高水平的设计和验证导师,西门子业务;戴夫Kelf,负责营销的副总裁OneSpin解决方案;产品经理和戴夫Pursley HLS节奏。以下是摘录对话。

SE:自从导师了Calypto内部和节奏的强项,几乎没有新闻发生的事件与高水平的合成。这是为什么呢?

鲍耶:是由工具厂商的信息,我们一直忙着在过去的一年。我们的用户数量已经翻了一倍,我们的收入增加了一倍,闯入有趣的新市场,如汽车和微机电系统控制镜子在3 d眼镜等。一种新技术时更少的令人兴奋的大多数人已经准备好接受它。之前那么可怕,它已变得不那么吓人,因此更少的令人兴奋。但这导致更多采用无聊HLS。

Pursley:它是一个好迹象,它变得越来越无趣了。你不会听到的讨论与客户和前景。他们不再问如果这真的管用的话,你能做到这一点,这周围有方法?现在接受。你仍然有这个问题,将这个工作给我吗?如何把它应用到我的设计吗?“我们的市场增长。这是一个创纪录的一年。我们看到在新的地方和现有的采用。

Kelf:行为合成出来的Synopsys对此创造了大量的兴奋。然后他们发现人们之间的断开和行为方面RTL。它没有安静下来做很好所以的事情。然后HLS基于SystemC出来,有一段时间的寻找应用程序。它符合和它如何适应?有很多交流和探讨。现在有等关键应用程序在偿还,在图像空间。这意味着人们完成他们的工作。这是一个好迹象,行业走向成熟。现在的问题是,如何扩大和成长为区域有更多的控制逻辑,在汽车吗?将如何HLS成熟的整个市场,而在小筒仓?”

SE:改变了设计的类型或大小的设计,可以解决吗?

鲍耶:有趣的是,小的设计被解决。它曾经是最大的,评选的设计,因为你没有机会在RTL设计得很好。现在,当你得到更多的有经验的用户,他们用它来设计,可能只有10000门,因为他们不想回到RTL。的趋势。

Kelf:也许,因为我们是参与正式的,我们看到更多的控制主导设计这些天。在早期是非常图形和DSP -所有datapath公司设计。现在我们看到的更多的控制,人们从部分设计对整个事情。

Pursley:绝对的。添加控制允许他们把小块,也一起把子系统包括总线接口,包括CPU或控制器的通信甚至嵌入式结构。这个现在可以自动处理。我们有这个能力几乎免费当我们合并这两种技术。

鲍耶:导致更多的兴趣在验证方面,因为一旦你可以做所有的事情在一个模型中,现在你开始询问的方式抽象模型可以使用。我能做些什么呢?模型执行比RTL但并不快模拟完全相同的,所以如何快速仿真变成效益和降低成本的RTL验证?

Kelf:整个设计流程是成熟。不仅仅是合成部分,但现在包括验证的部分。商业模拟器现在支持SystemC,不仅仅是OSCI模拟器使用了。你所有的调试能力和现在我们有正式的。它让你做一些检查的代码在一个更高的水平,你可能无法在RTL的原因之一是要在第一时间c++。但是没有X国家在c++中,所以您可以使用正式的东西的unintialized状态。这扩大了使用模型和让人们更加成熟的方式使用它。

Pursley:是的,它可以让你接近SystemC-based硬件设计,硬件设计。

鲍耶:去年我们得到一个综合子集。这不仅仅是对于合成,但正式可以建立。正式几乎需要synthesizable代码为了能够函数。现在你有一个标准,允许每个人都团结起来,开始构建工具。

SE:标准有重大影响或供应商已经一致吗?

鲍耶:从法律上讲,它没有很大的影响,因为我们不得不排队写标准。但perception-wise,现在有很多顾客觉得更舒服知道模拟器和合成工具,你可以有一个正式的引擎和一个属性检查器和短绒。有一个文档,你可以去验证状态应该是什么。

Pursley:是的,这是一个实实在在的证明这些公司一起做实际工作,还有一个生态系统,我们并不只是说这句话。

Kelf:我们仍然发现你工作与客户看到他们正在使用什么库。他们可能包括那些不标准的一部分,我们必须确保它会正常工作。仍有一些不足,比如你可以写SystemVerilog断言SystemC代码,用于一致性检查。但是我们要从C断言,我们现在有一个插入标准,可以允许一个更全面的SystemC类型的断言在时间的事情,更多的SystemVerilog吗?还需要来。

鲍耶:和接口。我们需要一个接口库。

Kelf:是的。

鲍耶:它是一个正式的标准属性或断言和标准接口库。那些要成为下一个焦点。

随着时间的推移,SE:子集将如何演进?

Pursley:在大多数情况下,子集都集中在我们应该能够合成。事实证明,每个人都能达成一致,在大多数情况下有些事情我们必须添加在两个边,但是大多数情况下这些都是我们应该做的事情。我们专注于写正确的标准,而不是试图让每个小部件的标准会给我们一个优势。最后,不帮助。它仍然是不断发展的,我们需要保持一致。

Kelf:参与一些其他标准,SystemC被成熟的人放在一起努力为用户做正确的事情,而不是一些仍未提到的其他标准。我们都知道竞争激烈的战斗在这些地区周围的恐怖了。不仅仅是语言子集,但周围的验证工作和其他的事情。他们都是在正确的意图产生一些可用的和最终用户所能接受的程度。你看不到这通常在标准委员会。(见相关的故事,用户反馈标准的过程)

SE:一直有猜测和讨论的结束摩尔定律这可能意味着设计变得更重要。如果慢下来会有一个很大的影响转向HLS多少人?

鲍耶:你会看到更多的保健进入建筑设计。这导致更多HLS使用吗?我不知道,但它确实导致更多的重要性来选择一个好的架构,因为你不会得到一个免费的午餐了。你不能去下一个节点。这将意味着更多的重新设计。我们是新的。

Kelf:看的一个方法是,如果你不能从节点加速变化,得到好处,那么也许你必须加快设计周期。如果你在相同的时间做更多的设计,然后你可以得到优势。这使您能够跟上摩尔定律。这意味着使用HLS和抽象的管道上更快、更有效率。时间市场压力越来越高,HLS有着巨大的作用。

Pursley:我们一直在做一个博客系列,题目是“使硬件设计好了。“这将是巨大的。它是关于当我们长大了,以为我们要硬件设计师你希望得到一些规范和检查它们,然后将看一些实现,等等。但在现实世界中发生了什么?RTL的先前版本,创建和完成的时候,你现在需要一个稍微不同的版本和你只是把曲柄。没有大量的设计工作。所以,设计师的生活质量改善是实际做一些设计出他们训练所算出的架构,内存,事情会从宏观层面沟通的方式,这是硬件或软件吗?他们仍然可以工作,有时间去满足他们的目标,最后一块知识产权更可重用,而不只是在随后的技术节点,而且如果算法需要改变或需要改变的接口。这些成为容易修改的东西。

Kelf:最大的问题是你花你的时间在哪里?下来RTL甚至门口水平使微小的变化?或者如果你投入相同的时间在架构层面,那么可以设计一个更具戏剧性的影响所以你得到你真正需要的改进。

鲍耶:随着公司保持流程节点,他们不再是由下一个流程节点,和他们的设计周期变得更加分离。他们可以做任何他们想要timewise。大多数人仍将目标圣诞消费电子产品,但你看到许多其他行业,他们的设计周期与下一个流程节点。情况已不再是这样。我认为这意味着更快的设计周期。

有关的故事
差距在验证流程(第3部分)
小组成员讨论软件验证,SystemC和未来技术将有助于验证跟上。
可以验证满足中间吗?(第2部分)
该行业长期以来认为验证是一个自下而上的过程,但现在有一个巨大的大力发展自上而下的验证标准。他们会满足舒适地在中间吗?