N. Halbwachs. A tutorial of Lustre. Available from http://www-verimag.imag.fr/ SYNCHRONE, 1993. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
An Embedded Language Framework for Hardware Compilation - Claessen, Pace (2002) (Correct)
....circuit is usually called a synthesisable behavioural description . Behavioural descriptions are also often used to describe the speci cation of a circuit. There exist a number of languages that one can use to structurally describe hardware. An example is the synchronous language Lustre [8, 9], which can be compiled into hardware structurally [21] Languages that can be used for synthesisable behavioural description are for example Esterel [2] and Occam [17] The popular industrial description languages VHDL and Verilog allow both kinds of descriptions. In this paper, we will only ....
....in [26] It is widely recognised that di erent styles of synchronous languages lend themselves more easily to di erent applications. In [13, 14] Maraninchi and R emond present Mode Automata a combination of state diagram based descriptions (based on Argos [12] with the data ow language Lustre [8]. The semantics of the resulting language are de ned by a translation into plain Lustre. The approach is thus very similar to the one we use, except that they use external programs to read mode automata and translate them into Lustre. The embedded language approach we use, allows us to translate ....
N. Halbwachs. A tutorial of Lustre. Available from http://www-verimag.imag.fr/ SYNCHRONE, 1993.
An Embedded Language Framework for Hardware Compilation - Claessen, Pace (2002) (Correct)
....circuit is usually called a synthesisable behavioural description . Behavioural descriptions are also often used to describe the specification of a circuit. There exist a number of languages that one can use to structurally describe hardware. An example is the synchronous language Lustre [8, 9], which can be compiled into hardware structurally [21] Languages that can be used for synthesisable behavioural description are for example Esterel [2] and Occam [17] The popular industrial description languages VHDL and Verilog allow both kinds of descriptions. This work has been partially ....
....[26] It is widely recognised that di#erent styles of synchronous languages lend themselves more easily to di#erent applications. In [13, 14] Maraninchi and Remond present Mode Automata a combination of state diagram based descriptions (based on Argos [12] with the dataflow language Lustre [8]. The semantics of the resulting language are defined by a translation into plain Lustre. The approach is thus very similar to the one we use, except that they use external programs to read mode automata and translate them into Lustre. The embedded language approach we use, allows us to translate ....
N. Halbwachs. A tutorial of Lustre. Available from http://www-verimag.imag.fr/ SYNCHRONE, 1993.
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