F. Rocheteau and N. Halbwachs. Implementing reactive programs on circuits: A hardware implementation of lustre. In REX Workshop Proceedings, June 1992. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
System Modeling and Design Refinement in ForSyDe - Sander (2003) (Correct)
....able to combine a control oriented (Esterel) with a data flow oriented (Lustre) synchronous approach. Synchronous language programs are usually translated to finite state automata in order to implement them as a sequential reactive program on a single processor. However, Esterel [13] and Lustre [93] have been also translated into hardware implementations. The clean mathematical formalism has led to the development of several verification tools for the synchronous languages. The paper [44] gives an overview over the techniques and tools developed for the validation of reactive systems ....
F. Rocheteau and N. Halbwachs. Implementing reactive programs on circuits: A hardware implementation of lustre. In REX Workshop Proceedings, June 1992.
Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997) (28 citations) (Correct)
....be expensive since it requires an exhaustive check of the state space of the program. In addition to the ability to translate these languages into finite state descriptions, it is possible to compile these languages directly into hardware. Techniques for translating both Esterel [28] and Lustre [29] into hardware have been proposed. The result is a logic network consisting of gates and flip flops that can be optimized using traditional logic synthesis tools. To execute such a system in software, the resulting network is sim 374 PROCEEDINGS OF THE IEEE, VOL. 85, NO. 3, MARCH 1997, PP. ....
F. Rocheteau and N. Halbwachs, "Implementing reactive programs on circuits: A hardware implementation of LUSTRE," in Real-Time, Theory in Practice, REX Workshop Proceedings, Mook, Netherlands, June 1992, vol. 600 of LNCS, pp. 195--208, Springer-Verlag.
Design of Embedded Systems: Formal Models.. - Edwards, Lavagno.. (1997) (28 citations) (Correct)
....expensive since it requires an exhaustive check of the state space of the program. In addition to the ability to translate these languages into finite state descriptions, it is possible to compile these languages directly into hardware. Techniques for translating both Esterel [Ber91] and Lustre [RH92] into hardware have been proposed. The result is a logic network consisting of gates and flip flops that can be optimized using traditional logic synthesis tools. To execute such a system in software, the resulting network is simply simulated. The technique is also the basis to perform more ....
F. Rocheteau and N. Halbwachs. Implementing reactive programs on circuits: A hardware implementation of LUSTRE. In RealTime, Theory in Practice, REX Workshop Proceedings, volume 600 of LNCS, pages 195--208, Mook, Netherlands, June 1992. SpringerVerlag.
Models of Computation for Embedded System Design - Lavagno.. (1998) (12 citations) (Correct)
....be expensive since it requires an exhaustive check of the state space of the program. In addition to the ability to translate these languages into finite state descriptions, it is possible to compile these languages directly into hardware. Techniques for translating both Esterel [10] and Lustre [54] into hardware have been proposed. The result is a logic network consisting of gates and flip flops that can be optimized using traditional logic synthesis tools. To execute such a system in software, the resulting network is simply simulated. The technique is also the basis to perform more ....
F. Rocheteau and N. Halbwachs. Implementing reactive programs on circuits: A hardware implementation of LUSTRE. In Real-Time, Theory in Practice, REX Workshop Proceedings, volume 600 of LNCS, pages 195--208, Mook, Netherlands, June 1992. Springer-Verlag.
Models of Computation and Languages for Embedded System Design - Jantsch, Sander (2005) (Correct)
No context found.
F. Rocheteau and N. Halbwachs. Implementing reactive programs on circuits: A hardware implementation of lustre. In REX Workshop Proceedings, June 1992.
Hierarchical Finite State Machines with Multiple Concurrency.. - Girault, Lee, Lee (1999) (25 citations) (Correct)
No context found.
F. Rocheteau and N. Halbwachs, "Implementing reactive programs on circuits: A hardware implementation of LUSTRE," in Lecture Notes in Computer Science, Real-Time, Theory in Practice, June 3--7, 1991.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC