专家们表:痛点

埃德·斯珀林
低功耗、高性能工程与Vinod Kariat坐下,节奏研究员;软件工程的副总裁Premal Buch阿尔特拉;总经理维克Kulkarni Apache设计;伯纳德•墨菲在Atrenta首席技术官,和洛朗•摩尔,在Arteris首席技术官。以下是摘录的谈话。

LPHP:接下来设计需要大量的猜测,不是吗?
摩尔:是的,但是直到我们fpga,尽我们要保留在两到三年周期。这意味着你要远远超过任何会使用它的人。在这些大soc,事实上他们真正异构很难找出应用程序会使用它,哪些部分是有用的,哪些是那么有用,如何将数据流,权力配置文件将会是什么样子的。在芯片内大约有五个地方你可以定位显示。当你把你的平板电脑,微软已经做的一种方式,Android他们都选择了三个不同的练习中有不同的权力配置文件。下面所有的硬件正在努力利用这些选项。
墨菲:当你看软件,一个关键的东西,决定你将虚拟化硬件和软件之间的事情。已经成为一种方法来管理实时与常规Android的行为。问题是你所有的操作系统,或至少部分硬件支持它。这将对安全性和性能产生影响。没有一个简单的回答你分手的事情,即使对操作系统的功能。

LPHP:当出现问题谁负责?
墨菲:如果是苹果,这很简单。对其他人来说,它不是。
Kulkarni:有类似的问题年前刚果民主共和国(设计规则检查)。如果你得到一个刚果民主共和国的错误,谁该对此负责呢?它是创建它的place-and-route工具或铸造。对每个人来说都曾经是一个非常头痛的问题,但它已经消散。为了解决这个问题,标准化已发生。需要有某种切换和握手协议和包括硬件以及软件的标准。
摩尔:我们看到从中间的芯片是标准是非常重要的。因为芯片是真的东西组装,他们真正需要做的,以确保零件一起工作是创建各级标准。你需要IP与互连,IP和IP。验证也是非常重要的。有部分,确保一切都与一切,遵循规范的。有一个大的胃口,因为一旦人们开始组装他们不想验证一切的东西,但他们想确认它一起工作。最重要的是,在架构层面,有所有SystemC建模,你要确保性能就足够了。人们做原型和模拟,但是非常缓慢。确保你的芯片将执行以及你想要的,你需要很好的建模能力。如果你已经原型和你有一个大问题,有可能逆转,做一些完全不同的。 The hardware level standardization of all the blocks talking to each other is one thing. System-level verification is very important, and there are a few standards there that people are working on. And at a high level, there is the high-level modeling that you can run your software and performance on, and you may be able to drive power and other metrics that are very important from the system level. At these two levels, this is where the assembly happens and this is where the magic of making sure what you designed actually happens.

LPHP:我们得到,我们有太多的选择?
Kariat:设计是越来越增量。你可以清楚地看到,在苹果的模型。他们加速产品和每一次改变一件事情。他们从一个核心转移到两个核心。然后添加别的东西。你不能重新考虑整个系统。大部分的市场操作一年周期,所以它必须进化。你不能每次都回到绘图板。

LPHP:但这不是更容易比一个公司像苹果这样的公司试图获得一个套接字在一个设备吗?
Kariat:这就是为什么苹果和三星有一个巨大的优势。他们更垂直整合。这也是为什么你会看到更多的公司退出市场。
墨菲:你能不能消除所有的风险,但是你可以降低风险。驱动非常的事实上的标准。如果你有某种程度的IP的签收,你不知道所有的这些IP是干净的和无可指摘,但你有某种程度的信心从某些维度和签署,您可以将其集成,而不是遇到某些类型的问题。这是一个宝贵的东西,提高信心,减少不安全,当你构建一些东西,它不会工作。
Buch:今天和一个软件程序,你不要担心你的微处理器有一个bug。你只假设每一层在你工作。在层次结构中,如果你从软件验证的最低水平,你需要签字,而无需深入或者你就做不成任何事。
Kariat:很多的IP已经基于标准的,所以只要你有一个情况提供的IP是别人,有一个标准。然后是验证IP,它允许某人放在一个模型,这样他们就可以模拟系统,他们可以看到内存使用。
摩尔:一些公司有很多的方法工具流和他们可能有更长的管道由于这个原因,但他们得到更高层次的质量和为客户工作。还有人感到饥饿,他们希望缩短周期和IP将质量好,承担更大的风险像组装第一或者去原型更快。有快捷键,你可以拨你的风险水平。如果你想胜过别人和使用相同的IP,你必须缩短你的时间表。

LPHP:芯片行业面临的重大问题之一是双模式。在设计方面有什么影响?
Kariat:双模式绝对是disruptive-how破坏性的还不清楚。这是设计需要考虑,但也有实践在的地方你可以把你不需要担心。有一个权衡。如果你做更多的刚性规定设计规则你可以远离更多的复杂性,但你可能会失去密度。它是基于系统权衡。这是一个驼峰,人们必须克服。新工具来人们必须适应它。在这一点上,三重模式不是立即在地平线上。
Buch对位置:有一些影响,一些影响路由,但是我们非常坚实。今天有路由器,可以处理双模式。我不认为它会降低工具的膝盖。
摩尔:在28 nm,当每个人都想要一个高性能处理器的冲击是巨大的。在未来将会更高。

LPHP:它的成本设计、IP和制造业,对吧?
摩尔:收缩是伟大的因为你用来获得更多的晶体管。现在你同样的成本为一个三角形20海里。
Buch成本:它增加你的面具。较低的层将是一个单一的模式。当你进入更高级别双模式。他们现在玩这个。这是不一定的EDA工具的问题。这是一个商业问题。
Kariat:人们会M1 M4双模式,和其他层单一模式。

LPHP:验证一个问题在复杂的设计,还有更多的黑盒验证。我们有足够的覆盖范围那么我们有信心它将出来工作吗?
摩尔:现实是没有完美的工作,但它的工作原理。这些天,如果你有一个巨大的芯片你知道有数百名错误埋在里面。你在工作,在软件。更多的盖茨意味着更多的bug。
Kariat:当我们跟客户,我们听到了同样的讨论质量和覆盖软件。
Kulkarni:我们听到的一个问题涉及到testbench本身。他们生成或APPG。什么运动芯片或子系统验证吗?这是第一个问题。有巨大的testbenches。平板电脑的设计现在1.1 billion-gate等价的。甚至不是游戏gpu,已知这种复杂性。这是我看到的下一个挑战。
墨菲:一个有趣的趋势是断言合成。因为这些事情变得越来越大,写作专用testbenches模拟变得不能存活。你真正要做的是运行应用程序,然后你想要任何奇怪的事情是这些应用程序运行。挑战在于,很难写断言。有一个非常专业的技能写断言。有更好的方法吗?