Abstract
Esterel is a synchronous concurrent programming language for reactive systems (controllers, protocols, man—machine interfaces, etc.). Esterel has an efficient software implementation based on a well-defined mathematical semantics. I 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. The circuit is shown to be semantically equivalent to the source program. The hardware translation is effectively implemented and used on the programmable active memory Perle0 developed by J. Vuillemin and his group at Digital Equipment.
Subject
Pharmacology (medical),Complementary and alternative medicine,Pharmaceutical Science
Reference40 articles.
1. The synchronous approach to reactive and real-time systems
2. Berry G. 1989 Real-timeprogramming: general purpose or special-purpose languages information processing 1989 (ed. G. X. Ritter) pp. 11-17. Elsevier.
3. Berry G. 1991 A hardware implementation of pure Esterel. Proceedings International Workshop on Formal Methods in VLSI.Springer-Verlag LNCS.
4. Berry G. & Cosserat L. 1984 The synchronous programming languages Esterel and its mathematical semantics. In Seminar on concurrency (ed. S. Brookes & G. Winskel) pp. 389-448. Springer-Verlag Lecture Notes in Computer Science 197.
5. Berry G. & Gonthier G. 1988 The Esterel synchronous programming language: design semantics implementation. INRIA Res. Rep. 842. Comp. Prog. (In the press.)
Cited by
37 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献