DMCA
A Hardware Implementation of Pure Esterel (1991)
Cached
Download Links
| Venue: | ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, INDIAN ACADEMY OF SCIENCES, SADHANA |
| Citations: | 72 - 3 self |
BibTeX
@INPROCEEDINGS{Berry91ahardware,
author = {Gérard Berry},
title = {A Hardware Implementation of Pure Esterel},
booktitle = {ACADEMY PROCEEDINGS IN ENGINEERING SCIENCES, INDIAN ACADEMY OF SCIENCES, SADHANA},
year = {1991},
pages = {95--130},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
Esterel 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.
Keyphrases
pure esterel hardware implementation source program synchronous concurrent efficient standard software implementation pure synchronization subset hardware translation clock cycle checkable dynamic property specific circuit well-defined mathematical semantics digital equipment new hardware implementation man-machine interface programmable active memory perle0
