电子系统级设计（ESL）：现实还是涂有外表之物

我经常问的一个问题是：谁在真正使用诸如可以建模的ESL方法，在流程中是否有一些阻碍？另一个通常的问题是：究竟什么是ESL？也许我们应该先说说第二个问题。

   对于一些人来说，ESL是指在做任何软硬件部分的决定之前的一个非常高的抽象层次的设计。相比之下，其他人认为ESL是硬件或软件的协同设计。还有一些人会说ESL是优于寄存器传输级（RTL）的更高的抽象层次。当然，我们应该注意到ESL并不一定意味着设计工具，因为一些验证应用可能进入ESL领域。

   在我的书架上有一本非常有用的书，它就是ESL设计和验证（国际书号：0-12-373551-3），作者是Brian Bailey, Grant Martin和Andrew Piziali。书的第二章介绍了模型分类（时序轴，数据轴，功能轴，结构轴）和ESL分类（并发，通信，配置）。就个人而言，我发现这一章对得起这本书的价格，但我们似乎有些离题。

   正如Justice Potter Stewart在Jacobellis v. Ohio（1964）中写到：“

我不能描述色情，但是当我看到的时候我能知道它。”在此基础上，这是我所倾向的方式来了解ESL，让我们思考一些不同类别的ESL。

  在某些情况下，ESL不是一个新方法。事实上，在某些领域它是一个饱和的市场。例如，数字信号处理（DSP）工具一直可以用来让你描述你在数学上想做的东西，然后生成C代码运行于一个处理器上。

ESL的一个较新的部分是现在称之为高层次综合（HLS）的工具，属于这一类的工具有Mentor的CatapultC，Auto ESL的自动驾驶仪，Cadence的C-to-Silicon编译器，Forte的Cynthesizer，脉冲加速技术的CoDeveloper，Synfora的PICO。

   这个类的大部分HSL工具使用C/C++/SystemC作为起点，但是在这个类中我们应该也包含BlueSpec，因为尽管它们以完全不同的方式来处理问题，最终他们仍在考虑采取一个高层次的描述并用它来生成执行级别的RTL。（事实上，Cadence的C-to-Silicon可以合成门级网表，但我们不要迷失方向，误入歧途。）

    ESL的伟大之处在于它的多样性。一个经典的例子是人们在Tensilica公司以及他们的Xtensa可定制处理器，可以被看作是完全不同的球赛。在这种情况下，我们所谈论的是一个可以分析你的C代码的工具，然后给您列出一个自定义处理器架构的选择，当然这个架构对于执行一个特定的算法或者一些算法的类十分高效。一旦你选择了最符合你要求的架构，Xtensa为处理器生成RTL连同一个相应的软件工具链。

    另一个ESL的“舞台”涉及处理器阵列特征的芯片。在这种情况下，我想到了MathStar的现场可编程对象阵列（FPOAs）的Arrix系列以及Ambric的大规模并行处理器阵列（MPPA）。这两家公司不再遗憾，但在不远的将来，我认为我们一定会看到更多类似的事情在市场上发生，例如Element CXI的元素计算阵列（ECAs）。当我们开始考虑这些工具把应用整合到这些平台上的时候，这是我认为这些元件会落入ESL领域的理由。

    然后我们有了虚拟平台（VPs）这个概念，这个平台用来作为架构开发和设计验证。我们立刻把VPs分成两个不同的组。首先VPs主要用来做软件开发和验证，这些非常快而且功能准确，但它们几乎没有时间的准确性。它们也十分有限的见到内部所发生的事情。（例如，你可以访问缓存的统计数据，确没有总线的统计数据。）一些例子是Synopsys的Innovator，CoWare的虚拟平台以及Virtutech的Simics。

    VPs的另一类针对架构分析。这是有点慢于“纯粹的”VPs，但提供了更高级别的硬件时机保真。（我们把这些归入“功能准确/时间近似”）在这种情况下，对于硬件在总线，调停等等所发生的事情，我们有更好的可见性。这方面的例子有Mentor的Vista架构师，Synopsys的CHIPit自动快速成型系统以及CoWare的平台架构师。

    但是各种不同的形式化验证又如何呢？它们也落入了ESL区域吗？实际上，我可能说不。这是因为ESL的一个定义是一种表示，表示时钟不再存在。换一种方式说，时钟是一个执行的显示，当你完成一个执行时，你将不在ESL领域。当然每个规则总有例外，此时，我将把Calypto的SLEC序列分析技术归类为一个ESL工具。

   正如一位业界专家和我说的一样，就在几天前我写了这些话：“ESL就像是一个连点游戏，问题在于现在虽然我们有众多的“点”，这些点是有价值而且迅速成熟的工具，在它们之间我们并没有太多的连接要求。”

    作为结尾，让我好好想想The MathWorks的MATLAB和Simulink。

当提到高级别算法评价和假设分析的时候，这些都是非常有用的工具。但是它们生活在自己的小“泡沫”里，因为它们生成的C并不是真正的C，你想放入一个HLS流中但通常它没有足够的效率直接运行在一个DSP上。因此，这些工具可能被认为是一些焦急等待合适连接的“点”。正如命运得知，在不远的将来这些事情可能会发生变化，但就目前而言，我有义务保密……