Esterel语言介绍
2008-11-30 10:27
531 查看
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的一个“控制领域的延伸”。
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的一个“控制领域的延伸”。
相关文章推荐
- Esterel语言介绍
- java学习笔记-环境设置-语言介绍和main函数类文件
- 介绍一下Markdown语言
- php语言中switch的用法介绍
- 易语言基础教程之软件界面介绍
- Virtools脚本语言(VSL)介绍
- Go语言struct类型介绍
- C#语言初级入门介绍
- C# 语言和 .NET Framework 介绍
- 【转载】用平常语言介绍神经网络
- 维基百科的 Nuva 语言介绍
- Scheme 语言介绍
- 四、Python语言简单介绍
- C#锐利体验之第二讲 C#语言基础介绍
- Java语言介绍(04)开源项目(02)持久层框架(01)Hibernate
- Java语言介绍(04)开源项目(09)门户网站(01)Liferay
- 汇编语言 标志位介绍
- c语言结构体介绍及用法
- WSDL(WebService描述语言)文件介绍
- 简单介绍Java语言中内存管理的几个技巧