Esterel语言介绍

Esterel语言介绍

Esterel是一种形式上可验证的语言，主要用于设计控制密集型硅IP模块。20多年前，它起源于学术界；随后，在法国Inria研究院得到了进一步开发。Esterel Technologies公司(Esterel Studio设计和验证工具套件供应商)实质上是目前唯一积极支持该语言的EDA软件销售商。 

Esterel思想很简单，它基于提供一个带同步时间模型的简单软件语言。也就是说，程序的执行被分割成多个离散常量，语句保证在单个、或多个离散常量时间内执行。Esterel适合强安全的实时系统编程，Esterel和它的计算模型常用于工业应用，如航空电子设备、集成电路设计和强安全环境。

作为一种描述控制系统硬件的高级语言，Esterel正在走向IEEE标准化之路。

2007年4月，Esterel Technologies公司宣布IEEE已经开始了IEEE P1778的研究工作。IEEE P1778是一项针对现有Esterel版本(V7)语言参考手册的标准化努力。该研究已得到IEEE新标准委员会的批准，并计划于2008年中期完成。 Esterel Technologies公司首席执行官Eric Bantegnie透露，该研究得到了包括IBM、英特尔、NXP、意法半导体和TI等公司在内的众多Esterel用户的支持。

Esterel Technologies公司声称，与HDL或C语言相比，基于Esterel V7的设计一般要小三到五倍，而且更容易开发、进行形式验证和通信。“在一定程度上，我们将Esterel定位为控制领域的Matlab。 ”Bantegnie说，“我们需要一种标准语言，能够支持以控制为主导的设计中所有特殊的功能，诸如显式文件控制或显式并行处理。

Esterel Technologies公司的Bantegnie表示，目前Esterel主要用在“软件友好型的硬件实现方案中”。他指出，Esterel主要用户都是大型半导体公司，他们采用Esterel来设计特殊类型的控制IP，包括用于电源管理、存储器管理和直接存储器访问的模块。典型的应用领域包括无线和消费电子产品，而大部分的应用则在欧洲和美国。

时下，大部分设计者让将SystemC作为硬件设计的主要ESL语言，而不是Esterel。Bantegnie认为，Esterel有可能成为SystemC的一个“控制领域的延伸”。