Compiling Esterel
نویسندگان
چکیده
منابع مشابه
An Esterel compiler for large control-dominated systems
Embedded hard real-time software systems often need finegrained parallelism and precise control of timing, things typical real-time operating systems do not provide. The Esterel language has both, but compiling large Esterel programs has been challenging, producing either needlessly slow or large code. This paper presents the first Esterel compiler able to compile large Esterel programs into fa...
متن کاملCompiling Esterel into Static Discrete-Event Code
Executing concurrent specifications on sequential hardware is important for both simulation of systems that are eventually implemented on concurrent hardware and for those most conveniently described as a set of concurrent processes. As with most forms of simulation, this is easy to do correctly but difficult to do efficiently. Solutions such as preemptive operating systems and discrete-event s...
متن کاملCompiling Esterel into Better Circuits
Producing efficient circuits from a high-level language such as Esterel remains a problem. Sparse state coding requires many more latches used than minimum and waste of reachable state space, while tight state encoding produces slow circuits due to the cost of encoding and decoding. This paper presents an algorithm to generate small and fast circuitry for Esterel. There are three main parts of ...
متن کاملConstructive Analysis of Cyclic Circuits ( EDTC , Paris , March 1996 )
Traditionally, circuits with combinational loops are found only in asynchronous designs. However, combinational loops can also be useful for synchronous circuit design. Combinational loops can arise from high-level language behavioral compiling, and can be used to reduce circuit size. We provide a symbolic algorithm that detects if a sequential circuit with combinational loops exhibits standard...
متن کاملGenerating Eecient Protocol Code from an Abstract Speciication
A protocol compiler takes as input an abstract speciication of a protocol and generates an implementation of that protocol. Protocol compilers usually produce ineecient code both in terms of code speed and code size. In this paper, we show that by compiling a modular speciication into an integrated automaton and by selectively optimizing its diierent transitions, it is possible to automatically...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007