A hardware implementation of pure ESTEREL
A hardware implementation of pure ESTEREL
复制标题
纯 ESTEREL 的硬件实现
DOI：
--
复制
发表时间：
1992
期刊：
影响因子：
--
通讯作者：
Gérard Berry
中科院分区：
文献类型：
--
作者：
Gérard Berry
Abstractesterel是一种同步并发编程语言，专用于反应式系统（控制器，协议，人机接口等）。esterel具有基于良好定义的数学语义的有效的标准软件实现。我们提出了一个新的硬件实现的纯同步子集的语言。每个程序生成一个特定的电路，在一个时钟周期内响应任何输入。当源程序满足一些静态可检查的动态特性时，电路被证明是语义等价的源程序。硬件翻译已有效地实现了可编程主动存储器perle0开发的J Vuillemin和他的小组在数字设备。
Abstractesterel is a synchronous concurrent programming language dedicated to reactive systems (controllers, protocols, man-machine interfaces etc.). esterel has an efficient standard software implementation based on well-defined mathematical semantics. We present a new hardware implementation of the pure synchronization subset of the language. Each program generates a specific circuit that responds to any input in one clock cycle. When the source program satisfies some statically checkable dynamic properties, the circuit is shown to be semantically equivalent to the source program. The hardware translation has been effectively implemented on the programmable active memory perle0 developed by J Vuillemin and his group at Digital Equipment.